Isabelle/Circus
From MaRDI portal
Isabelle/Circus (AFP entry Circus)
- A formulation of the simple theory of types.
- A refinement strategy for Circus
- An introduction to mathematical logic and type theory: To truth through proof.
- CSP-CASL -- a new integration of process algebra and algebraic specification
- csp2B: A practical approach to combining CSP and B
- Encoding Circus programs in ProofPower-Z
- Unnamed Publication
- Unnamed Publication
- Isabelle/HOL. A proof assistant for higher-order logic
- Testing for refinement in \textsf{Circus}
- Unifying theories in Isabelle/HOL
- Verified software: Theories, tools, experiments. 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28--29, 2012. Proceedings
This page was built for software: Isabelle/Circus
