SAFT: Static Analysis with Finite Tree Automata

Gallagher, John Patrick (Project manager)
Rosendahl, Mads (Project participant)
Rhiger, Morten (Project participant)

Programming, Logic and Intelligent Systems

Project: Research

Description

Status	Finished
Effective start/end date	01/01/2007 → 31/12/2010

Funding

<ingen navn>

Abstract interpretation of temporal logic: abstract model checking revisited
Gallagher, J. P. (Lecturer)
19 Aug 2010
Activity: Talk or presentation › Lecture and oral contribution

File
Invited Talk: Descriptive Types and Well-Typings, with an Aside on Model Checking
Gallagher, J. P. (Lecturer)
7 Jul 2010
Activity: Talk or presentation › Lecture and oral contribution