Sciweavers

SOSL
1993

Verifying Process Algebra Proofs in Type Theory

14 years 4 months ago
Verifying Process Algebra Proofs in Type Theory
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.
M. P. A. Sellink
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1993
Where SOSL
Authors M. P. A. Sellink
Comments (0)