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