Max-Planck-Institut für Informatik
max planck institut
informatik
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
Language:English
Date, Time and Location
Date:Friday, 13 July 2007
Time:14:00
Duration:45 Minutes
Location:Saarbr├╝cken
Building:E1 4
Room:Rotunde 6.OG
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
Name(s):Roxane Wetzel
Phone:900
EMail:--email address not disclosed on the web
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):
  • Roxane Wetzel, 07/12/2007 09:46 AM
  • Roxane Wetzel, 07/09/2007 02:28 PM -- Created document.