Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav07_lecture_15 [2007/05/10 11:57] (current)
vkuncak created
Line 1: Line 1:
 +====== Lecture 15 ======
  
 +  * [[Introduction to using MSOL over strings to verify linked lists]]
 +
 +  * [[Strings and languages]]
 +
 +  * [[Finite state machine]]
 +  * [[Determinization of finite state machine]]
 +
 +Automata and languages:
 +  * [[http://​www-math.mit.edu/​~sipser/​book.html|Introduction to the Theory of Computation]]
 +  * [[http://​infolab.stanford.edu/​~ullman/​ialc.html|Introduction to Automata Theory, Languages, and Computation]]
 +
 +Verification of linked structures using automata or MSOL:
 +  * [[http://​lara.epfl.ch/​~kuncak/​papers/​WiesETAL06FieldConstraintAnalysis.html|Field constraint analysis]]
 +  * [[http://​www.brics.dk/​PALE|Pointer Assertion Logic Engine]]
 
sav07_lecture_15.txt · Last modified: 2007/05/10 11:57 by vkuncak
 
© EPFL 2018 - Legal notice