An Approach to the Verification of Symmetric Parameterized Distributed Systems

ISSN： 0361-7688

Source： Programming and Computer Software, Vol.31, Iss.5, 2005-09, pp. : 225-236

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

Verification of distributed systems with local-global predicates

By Chandy K.

Formal Aspects of Computing, Vol. 23, Iss. 5, 2011-09 ,pp. : 649-679

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

Verification Approach of Metropolis Design Framework for Embedded Systems

By Chen Xi Hsieh Harry Balarin Felice

International Journal of Parallel Programming, Vol. 34, Iss. 1, 2006-03 ,pp. : 3-27

Springer Publishing Company

Access to resources Recommend Favorite

Constraint-Based Verification of Parameterized Cache Coherence Protocols

By Delzanno Giorgio

Formal Methods in System Design, Vol. 23, Iss. 3, 2003-11 ,pp. : 257-301

Springer Publishing Company

Access to resources Recommend Favorite

Verification as a parameterized testing (experiments with the SCP4 supercompiler)

By Lisitsa A. Nemytykh A.

Programming and Computer Software, Vol. 33, Iss. 1, 2007-02 ,pp. : 14-23

MAIK Nauka/Interperiodica

Access to resources Recommend Favorite