SAFT: Static Analysis with Finite Tree Automata

Projekter: ProjektForskning

Projektdetaljer

Beskrivelse

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

Finansiering

  • <ingen navn>

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æsentationForedrag 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æsentationForedrag og mundtlige bidrag