FM 2005: Formal Methods
From MaRDI portal
Publication:5716880
DOI10.1007/B27882zbMath1120.68412OpenAlexW1497681073MaRDI QIDQ5716880
Ana Cavalcanti, Phil Clayton, Colin O'Halloran
Publication date: 10 January 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b27882
Related Items (14)
Unifying theories in ProofPower-Z ⋮ A contract-based semantics and refinement for Simulink ⋮ Mechanical reasoning about families of UTP theories ⋮ Refinement-oriented models of Stateflow charts ⋮ A Two-Way Path Between Formal and Informal Design of Embedded Systems ⋮ From control law diagrams to Ada via \textsf{Circus} ⋮ A Hoare logic for linear systems ⋮ Automating Refinement of Circus Programs ⋮ A tactic language for refinement of state-rich concurrent specifications ⋮ Stateflow Diagrams in ⋮ Testing for refinement in \textsf{Circus} ⋮ A formal framework for modeling and validating simulink diagrams ⋮ Simulink Timed Models for Program Verification ⋮ Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP
Uses Software
This page was built for publication: FM 2005: Formal Methods
