Mar 25, 2011 · We present a library of PVS meta-theories that can be used to verify a class of distributed systems in which agent communication is via ...
[PDF] Towards a verification framework for faulty message passing ...
www.semanticscholar.org › paper
IEEE Trans. Software Eng. 2002. The paper describes a formal framework developed using the Prototype Verification System (PVS) to model and verify distributed ...
Mar 25, 2011 · Abstract We present a library of PVS meta-theories that can be used to verify a class of distributed systems in which.
We present a library of PVS meta-theories that can be used to verify a class of distributed systems in which agent communication is via message-passing.
Towards a verification framework for faulty message passing systems in PVS. Concetta Pilotto, Jerome White. Computer Science. Research output: Contribution to ...
Abstract. We present a library of PVS meta-theories that verifies a class of distributed systems in which agent communication is through message-passing.
Towards a verification framework for faulty message passing systems in PVS. Innovations in Systems and Software Engineering, 2011, Volume 7, Number 2, Page 109.
Verification of Faulty Message-. Passing Systems with. Continuous State Space ... PVS Verification Framework. Proof of Convergence: • System Error.
Towards a verification framework for faulty message passing systems in PVS ... This chapter describes using the PVS system as a tool to support VDMSL. It ...
Jul 2, 2011 · We present a library of PVS meta-theories that can be used to verify a class of distributed systems in which agent communication is via message- ...