Integrated Formal Methods
From MaRDI portal
Publication:5901607
DOI10.1007/b96106zbMath1196.68031MaRDI 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
68N01: General topics in the theory of software
Related Items
Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP, On integrating confidentiality and functionality in a formal method, Angelic nondeterminism in the unifying theories of programming, 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, Angelicism in the Theory of Reactive Processes, Unifying Theories of Programming in Isabelle, A Stepwise Approach to Linking Theories, Reverse Hoare Logic