SAFT: Static Analysis with Finite Tree Automata

Projekter: ProjektForskning

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