Results 1 -
2 of
2
Algebraic Process Verification
- Handbook of Process Algebra, chapter 17
"... This chapter addresses the question how to verify distributed and communicating systems in an e#ective way from an explicit process algebraic standpoint. This means that all calculations are based on the axioms and principles of the process algebras. ..."
Abstract
-
Cited by 55 (15 self)
- Add to MetaCart
This chapter addresses the question how to verify distributed and communicating systems in an e#ective way from an explicit process algebraic standpoint. This means that all calculations are based on the axioms and principles of the process algebras.
Verifying process algebra proofs in type theory
, 1993
"... In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed-calculus. Inhabitants (terms) of these types represent proofs. The speci c typed-calculus we use is the Calculus of Inductive Constructions as implemented in the i ..."
Abstract
-
Cited by 15 (1 self)
- Add to MetaCart
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed-calculus. Inhabitants (terms) of these types represent proofs. The speci c typed-calculus we use is the Calculus of Inductive Constructions as implemented in the interactive proof construction program COQ.
