Integrated Formal Methods

DOI10.1007/B96106zbMath1196.68031OpenAlexW1531155000MaRDI QIDQ5901607

Ana Cavalcanti, J. C. P. Woodcock

Publication date: 7 May 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b96106

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (13)

Angelic nondeterminism in the unifying theories of programming ⋮ The refinement calculus of reactive systems ⋮ Unifying Theories of Programming in Isabelle ⋮ Automated reasoning for probabilistic sequential programs with theorem proving ⋮ A Stepwise Approach to Linking Theories ⋮ Safety-critical Java programs from \textsf{Circus} models ⋮ Modelling temporal behaviour in complex systems with Timebands ⋮ Angelic processes for CSP via the UTP ⋮ Unifying theories of reactive design contracts ⋮ On integrating confidentiality and functionality in a formal method ⋮ Angelicism in the Theory of Reactive Processes ⋮ Reverse Hoare Logic ⋮ Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

This page was built for publication: Integrated Formal Methods