Model Checking: Publications
-
[1]
Decision Procedures – an Algorithmic Point of View
Daniel Kroening and Ofer Strichman
Springer. 2008.
To appear
Details about Decision Procedures – an Algorithmic Point of View | BibTeX data for Decision Procedures – an Algorithmic Point of View
-
[2]
Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems
M. Hague and C.−H. L. Ong
In FoSSaCS. 2007.
Details about Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems | BibTeX data for Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems | Download (pdf) of Symbolic Backwards Reachability Analysis for Higher−Order Pushdown Systems