Max-Planck-Institut für Informatik
max planck institut
mpii logo Minerva of the Max Planck Society

MPI-INF or MPI-SWS or Local Campus Event Calendar

<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:TVLA : Three Valued Logic Analyzer
Speaker:Tal Lev-Ami
coming from:Tel Aviv University
Speakers Bio:
Event Type:Talk
Visibility:D1, D2, D3, D4, D5, SWS, RG1, RG2
We use this to send out email in the morning.
Level:MPI Audience
Date, Time and Location
Date:Friday, 13 July 2007
Duration:45 Minutes
Building:E1 4
Room:Rotunde 6.OG
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).

Name(s):Roxane Wetzel
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Attachments, File(s):
  • Roxane Wetzel, 07/12/2007 09:46 AM
  • Roxane Wetzel, 07/09/2007 02:28 PM -- Created document.