SAFT: Static Analysis with Finite Tree Automata

Gallagher, John Patrick (Projektleder)
Rosendahl, Mads (Projektdeltager)
Rhiger, Morten (Projektdeltager)

Programmering, logik og intelligente systemer

Projekter: Projekt › Forskning

Beskrivelse

Statisk programanalyse med Endelige Træautomater

Status	Afsluttet
Effektiv start/slut dato	01/01/2007 → 31/12/2010

Finansiering

<ingen navn>

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