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>

Relateret indhold

Aktiviteter

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

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

Abstract interpretation of temporal logic: abstract model checking revisited

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