Campus Event Calendar
Event Entry
What and Who
TVLA : Three Valued Logic Analyzer
Tal Lev-Ami
Tel Aviv University
Talk
AG 1, AG 2, AG 3, AG 4, AG 5, SWS, RG1, RG2
MPI Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Friday, 13 July 2007
14:00
45 Minutes
E1 4
Rotunde 6.OG
Saarbrücken
Abstract
I will present TVLA (Three-Valued-Logic Analyzer). TVLA is a YACC-like framework for automatically
constructing static-analysis algorithms from an operational semantics, where the operational semantics
is specified using logical formulas in first order logic with transitive closure.
TVLA has been implemented in Java and was successfully used to perform shape analysis on programs
manipulating linked data structures, concurrent programs and to verify the partial correctness
of several algorithms (including sorting, destructive tree traversals and more).
Contact
Roxane Wetzel
900
--email hidden
passcode not visible
logged in users only
Roxane Wetzel, 07/12/2007 09:46
Roxane Wetzel, 07/09/2007 14:28 -- Created document.
Roxane Wetzel, 07/09/2007 14:28 -- Created document.