Integrated Formal Methods
From MaRDI portal
Recommendations
- Design for proof: An approach to the design of domain-specific languages
- scientific article; zbMATH DE number 1088211
- scientific article; zbMATH DE number 1088217
- Retrospective and Prospective for Unifying Theories of Programming
- Integrating a Program Design Calculus and a Subset of UML
- A new roadmap for linking theories of programming
- Unifying theories of programming in Isabelle
- scientific article; zbMATH DE number 804269
- scientific article; zbMATH DE number 2036335
Cited in
(23)- Angelic processes for CSP via the UTP
- Unifying theories of reactive design contracts
- Modelling temporal behaviour in complex systems with Timebands
- Safety-critical Java programs from \textsf{Circus} models
- The refinement calculus of reactive systems
- Automated reasoning for probabilistic sequential programs with theorem proving
- Angelicism in the theory of reactive processes
- Unifying theories of programming in Isabelle
- A stepwise approach to linking theories
- On modelling user observations in the UTP
- Unifying theories of confidentiality
- Reverse Hoare logic
- A probabilistic theory of designs based on distributions
- The Linear Algebra of UTP
- Theories of programming. The life and works of Tony Hoare
- A Relational Investigation of UTP Designs and Prescriptions
- Modal Design Algebra
- Compositional assume-guarantee reasoning of control law diagrams using UTP
- UTP, \textsf{\textit{Circus}}, and Isabelle
- Probabilistic unifying relations for modelling epistemic and aleatoric uncertainty: semantics and automated reasoning with theorem proving
- On integrating confidentiality and functionality in a formal method
- Normal design algebra
- Angelic nondeterminism in the unifying theories of programming
This page was built for publication: Integrated Formal Methods
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5901607)
