SAFT: Static Analysis with Finite Tree Automata

Project: Research

Project Details

Description

 
StatusFinished
Effective start/end date01/01/200731/12/2010

Funding

  • <ingen navn>

Activities

  • 2 Lecture and oral contribution

Abstract interpretation of temporal logic: abstract model checking revisited

John Patrick Gallagher (Lecturer)

19 Aug 2010

Activity: Talk or presentationLecture and oral contribution

File

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

John Patrick Gallagher (Lecturer)

7 Jul 2010

Activity: Talk or presentationLecture and oral contribution