Formal Verification of Activity-Based Specification of Protocols

By Anand K.C.   Shyamasundar R.K.  

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

Academic Press

Access to resources Recommend Favorite

Formal verification of a programming logic for a distributed programming language

By Zhang C.   Olsson R.A.   Levitt K.N.  

Theoretical Computer Science, Vol. 216, Iss. 1, 1999-03 ,pp. : 213-235

Elsevier

Access to resources Recommend Favorite

Another look at the middleware for dependable distributed computing

By Little Mark  

Journal of Internet Services and Applications, Vol. 3, Iss. 1, 2012-05 ,pp. : 95-105

Springer Publishing Company

Access to resources Recommend Favorite

The customizable fault/error model for dependable distributed systems

By Walter C.J.   Suri N.  

Theoretical Computer Science, Vol. 290, Iss. 2, 2003-01 ,pp. : 1223-1251

Elsevier

Access to resources Recommend Favorite

Coverage metrics for formal verification

By Chockler Hana   Kupferman Orna   Vardi Moshe  

International Journal on Software Tools for Technology Transfer, Vol. 8, Iss. 4-5, 2006-08 ,pp. : 373-386

Springer Publishing Company

Access to resources Recommend Favorite