Publications - Logical Model Checking
2013
-
-
Kyungmin Bae, Santiago Escobar, and José Meseguer.
Abstract Logical Model Checking of Infinite-State Systems Using Narrowing.
In proceedings of
24th International Conference
on Rewriting Techniques and Applications (RTA 2013),
LIPIcs-Leibniz
International Proceedings in Informatics, volume 21, pages
81-96,
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Available:
DOI
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
Last modified: Wed Feb 26 17:40:27 CET 2014