Algebraic Proof Assistants in HOL

Authors:
Rix Groenboom;Chris Hendriks;Indra Polak;Jan Terlouw;Jan Tijmen Udding
Affiliations:
-;-;-;-;-
Venue:
MPC '95 Mathematics of Program Construction
Year:
1995

Citing 0
Cited 3

Process Algebra in PVS

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
PVS Embedding of cCSP Semantic Models and Their Relationship

Electronic Notes in Theoretical Computer Science (ENTCS)
A generic theorem prover of CSP refinement

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract