SAFT: Static Analysis with Finite Tree Automata

Projekter: Projekt › Forskning

Projektdetaljer

Beskrivelse

Statisk programanalyse med Endelige Træautomater
StatusAfsluttet
Effektiv start/slut dato01/01/2007 → 31/12/2010

Finansiering

  • <ingen navn>
Se alle
Se færre

Aktiviteter

  • 2 Foredrag og mundtlige bidrag

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Foredragsholder)

19 aug. 2010

Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag

Fil

Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking

John Patrick Gallagher (Foredragsholder)

7 jul. 2010

Aktivitet: Tale eller præsentation › Foredrag og mundtlige bidrag