Formal Verification of Activity-Based Specification of Protocols

ISSN： 0743-7315

Source： Journal of Parallel and Distributed Computing, Vol.60, Iss.5, 2000-05, pp. : 639-676

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

Formal verification of dependable distributed protocols

By Sinha P. Ren D.Q.

Information and Software Technology, Vol. 45, Iss. 12, 2003-09 ,pp. : 873-888

Elsevier

Access to resources Recommend Favorite

An approach to formal specification and verification of map-centered applications

By Nelson M.A.V. Alencar P.S.C. Cowan D.D.

Environmental Modelling and Software, Vol. 16, Iss. 5, 2001-07 ,pp. : 459-465

Elsevier

Access to resources Recommend Favorite

UML specification of access control policies and their formal verification

By Koch Manuel Parisi-Presicce Francesco

Software and Systems Modeling (SoSyM), Vol. 5, Iss. 4, 2006-12 ,pp. : 429-447

Springer Publishing Company

Access to resources Recommend Favorite

Formal verification of component-based designs

By Karlsson Daniel

Design Automation for Embedded Systems, Vol. 11, Iss. 1, 2007-03 ,pp. : 49-90

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