Approximated parameterized verification of infinite-state processes with global conditions

Author： Abdulla Parosh   Delzanno Giorgio   Rezine Ahmed  

Publisher： Springer Publishing Company

ISSN： 0925-9856

Source： Formal Methods in System Design, Vol.34, Iss.2, 2009-04, pp. : 126-156

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Inductively Verifying Invariant Properties of Parameterized Systems: Special Section on Automated Verification of Infinite-State Systems

By Roychoudhury Abhik  

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 101-139

Springer Publishing Company

Access to resources Recommend Favorite

Introduction: Special Section on Automated Verification of Infinite-State Systems

By Bharadwaj Ramesh   Hall Robert J.  

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 99-99

Springer Publishing Company

Access to resources Recommend Favorite

Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System: Special Section on Automated Verification of Infinite-State Systems

By Apvrille L.  

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 167-191

Springer Publishing Company

Access to resources Recommend Favorite

Desert Island Reading Assignment: Special Section on Automated Verification of Infinite-State Systems

By Wile David  

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 193-196

Springer Publishing Company

Access to resources Recommend Favorite

Strategy for Verifying Security Protocols with Unbounded Message Size: Special Section on Automated Verification of Infinite-State Systems

By Chevalier Y.  

Automated Software Engineering, Vol. 11, Iss. 2, 2004-04 ,pp. : 141-166

Springer Publishing Company

Access to resources Recommend Favorite