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