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

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

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

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

Approximated parameterized verification of infinite-state processes with global conditions

By Abdulla Parosh   Delzanno Giorgio   Rezine Ahmed  

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

Springer Publishing Company

Access to resources Recommend Favorite