Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

pushdown_systems [2007/05/05 13:31]
vkuncak
pushdown_systems [2007/05/05 13:32] (current)
vkuncak
Line 1: Line 1:
 ====== Pushdown systems ====== ====== Pushdown systems ======
 +
 +Push down automaton and context-free grammars.
 +
 +Summary of results.
  
   * [[http://​deposit.ddb.de/​cgi-bin/​dokserv?​idn=96638976X|Stefan Schwoon'​s thesis: Model-Checking Pushdown Systems]]   * [[http://​deposit.ddb.de/​cgi-bin/​dokserv?​idn=96638976X|Stefan Schwoon'​s thesis: Model-Checking Pushdown Systems]]
   * [[http://​homepages.inf.ed.ac.uk/​kousha/​toplas2005.pdf|R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T. Reps, and M. Yannakakis. ​ Analysis of Recursive State Machines]]   * [[http://​homepages.inf.ed.ac.uk/​kousha/​toplas2005.pdf|R. Alur, M. Benedikt, K. Etessami, P. Godefroid, T. Reps, and M. Yannakakis. ​ Analysis of Recursive State Machines]]
  
 
pushdown_systems.txt · Last modified: 2007/05/05 13:32 by vkuncak