English only

Lab for Automated Reasoning and Analysis LARA

Trace: • pushdown_systems

Pushdown systems

Push down automaton and context-free grammars.

Summary of results.

Stefan Schwoon's thesis: Model-Checking Pushdown Systems
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

© EPFL 2018 - Legal notice