A refinement strategy for Circus

From MaRDI portal
Publication:706512

DOI10.1007/S00165-003-0006-5zbMath1093.68555OpenAlexW2077325003MaRDI QIDQ706512

Augusto Sampaio, Ana Cavalcanti, J. C. P. Woodcock

Publication date: 8 February 2005

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-003-0006-5




Related Items (28)

Circus Time with Reactive DesignsBehavioural Models for FMI Co-simulationsAngelic nondeterminism in the unifying theories of programmingAutomatic generation of verified concurrent hardware using VHDLUnifying theories in ProofPower-ZMechanical reasoning about families of UTP theoriesRefinement-oriented models of Stateflow chartsA Stepwise Approach to Linking TheoriesFrom control law diagrams to Ada via \textsf{Circus}Safety-critical Java programs from \textsf{Circus} modelsTest selection for traces refinementAutomating Refinement of Circus ProgramsIntegrating a formal method into a software engineering process with UML and JavaA process algebraic framework for specification and validation of real-time systemsA tactic language for refinement of state-rich concurrent specificationsStateflow Diagrams inMechanical Reasoning about Families of UTP TheoriesA timeband framework for modelling real-time systemsRefinement and verification in component-based model-driven designBuilding program construction and verification tools from algebraic principlesOn integrating confidentiality and functionality in a formal methodDerivation of concurrent programs by stepwise scheduling of Event-B modelsTowards Algebraic Semantics of Circus TimeA UTP semantics for \textsf{Circus}Testing for refinement in \textsf{Circus}A formal framework for modeling and validating simulink diagramsType Checking SpecificationsLaws of mission-based programming


Uses Software






This page was built for publication: A refinement strategy for Circus