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_16 [2007/05/10 18:38]
vkuncak
sav07_lecture_16 [2007/05/10 18:38] (current)
vkuncak
Line 10: Line 10:
   * [[Using automata to decide Presburger arithmetic]]   * [[Using automata to decide Presburger arithmetic]]
   * [[MSOL over strings]]   * [[MSOL over strings]]
- 
-  * [[Using automata to decide MSOL over finite strings]] 
-  * [[Regular expressions for automata with parallel inputs]] 
-  * [[Expressing finite automata in MSOL over strings]] 
-  * [[Expressing regular expressions in MSOL over strings]] 
- 
-  * [[Encoding lists using MSOL over strings]] 
-  * Tree automata 
-  * Field constraint analysis 
  
 Automata and languages: Automata and languages:
 
sav07_lecture_16.txt · Last modified: 2007/05/10 18:38 by vkuncak
 
© EPFL 2018 - Legal notice