Publications - Model Checking

2007

Santiago Escobar, José Meseguer
Symbolic Model Checking of Infinite-State Systems Using Narrowing
In proceedings of 18th International Conference on Rewriting Techniques and Applications (RTA 2007).
To appear, 2007.
© Springer-Verlag
Available: PDF