Using Forward Reachability Analysis for Verification of Lossy Channel Systems

By Abdulla Parosh Aziz   Collomb-Annichini Aurore   Bouajjani Ahmed   Jonsson Bengt  

Formal Methods in System Design, Vol. 25, Iss. 1, 2004-07 ,pp. : 39-65

Springer Publishing Company

Access to resources Recommend Favorite

Symbolic reachability analysis using narrowing and its application to verification of cryptographic protocols

By Meseguer José  

LISP and Symbolic Computation, Vol. 20, Iss. 1-2, 2007-06 ,pp. : 123-160

Springer Publishing Company

Access to resources Recommend Favorite

An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems

By Labroue A.   Schnoebelen P.  

Electronic Notes in Theoretical Computer Science, Vol. 52, Iss. 1, 2004-01 ,pp. : 1-20

Elsevier

Access to resources Recommend Favorite

Reachability Analysis over Term Rewriting Systems

By Feuillade Guillaume   Genet Thomas   Viet Triem Tong Valérie  

Journal of Automated Reasoning, Vol. 33, Iss. 3-4, 2004-10 ,pp. : 341-383

Springer Publishing Company

Access to resources Recommend Favorite

Methods of Symbolic Analysis of Dynamic Systems

By Kobyakov S. Yu.  

Automation and Remote Control, Vol. 65, Iss. 4, 2004-04 ,pp. : 554-558

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite