UTP, \textsf{\textit{Circus}}, and Isabelle
From MaRDI portal
Publication:6535825
Recommendations
Cites work
- A refinement strategy for Circus
- A theoretical basis for stepwise refinement and the programming calculus
- A Theory of Pointers for the UTP
- A Unary Semigroup Trace Algebra
- A UTP semantics for \textsf{Circus}
- An Axiomatic Value Model for Isabelle/UTP
- Angelic nondeterminism in the unifying theories of programming
- Angelic processes for CSP via the UTP
- Angelicism in the theory of reactive processes
- Automated verification of reactive and concurrent programs by calculation
- CSP theorems for communicating B machines
- Cylindric algebras. Part II
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL
- FDR3 -- a modern refinement checker for CSP
- FM 2005: Formal Methods
- Formal methods for industrial applications. Specification and programming the Steam Boiler Control
- Hoare and He’s Unifying Theories of Programming
- scientific article; zbMATH DE number 3902017 (Why is no real title available?)
- scientific article; zbMATH DE number 4039251 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 605806 (Why is no real title available?)
- scientific article; zbMATH DE number 605917 (Why is no real title available?)
- scientific article; zbMATH DE number 1031982 (Why is no real title available?)
- scientific article; zbMATH DE number 1949640 (Why is no real title available?)
- scientific article; zbMATH DE number 2080001 (Why is no real title available?)
- scientific article; zbMATH DE number 1507039 (Why is no real title available?)
- scientific article; zbMATH DE number 2087132 (Why is no real title available?)
- scientific article; zbMATH DE number 2087134 (Why is no real title available?)
- scientific article; zbMATH DE number 2090152 (Why is no real title available?)
- scientific article; zbMATH DE number 2238781 (Why is no real title available?)
- scientific article; zbMATH DE number 7730622 (Why is no real title available?)
- Hybrid relations in Isabelle/UTP
- Integrated Formal Methods
- Isabelle/UTP: a mechanised theory engineering framework
- Non-interference through determinism
- Normal design algebra
- Planning and acting in partially observable stochastic domains
- Probabilistic semantics for RoboChart. A weakest completion approach
- Quantum Predicative Programming
- Refinement Calculus
- Refinement of actions in Circus
- Semantic domains for Handel-C
- Testing for refinement in \textsf{Circus}
- The laws of Occam programming
- The logic of public announcements, common knowledge, and private suspicions
- The Miracle of Reactive Programming
- Theoretical Aspects of Computing - ICTAC 2004
- Theoretical aspects of computing -- ICTAC 2013. 10th international colloquium, Shanghai, China, September 4--6, 2013. Proceedings
- Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday
- Three Approaches to Timed External Choice in UTP
- Understanding concurrent systems
- Unifying heterogeneous state-spaces with lenses
- Unifying theories in Isabelle/HOL
- Unifying theories in ProofPower-Z
- Unifying theories of programming and formal engineering methods. International training school on software engineering, held at ICTAC 2013, Shanghai, China, August 26--30, 2013. Advanced lectures
- Unifying theories of reactive design contracts
- Unifying theories of time with generalised reactive processes
- ZRC -- A refinement calculus for Z
This page was built for publication: UTP, \textsf{\textit{Circus}}, and Isabelle
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535825)
