Circus

swMATH21828MaRDI QIDQ33628FDOQ33628

Author name not available (Why is that?)

Cited In (75)

• Testing using CSP Models: Time, Inputs, and Outputs
• Building a Modal Interface Theory for Concurrency and Data
• A Unary Semigroup Trace Algebra
• rCOS: Defining Meanings of Component-Based Software Architectures
• Refinement of actions in Circus
• Model transformations across views
• A Two-Way Path Between Formal and Informal Design of Embedded Systems
• Efficient symbolic computation of process expressions
• Stateflow Diagrams in
• Behavioural Models for FMI Co-simulations
• Proving Quicksort Correct in Event-B
• Building Specifications in the Event-B Institution
• Viewing CSP specifications with UML-RT diagrams
• Mechanical Reasoning about Families of UTP Theories
• RiskStructures: a design algebra for risk-aware machines
• Title not available (Why is that?)
• Laws of mission-based programming
• A CSP model of Eiffel's SCOOP
• Responsiveness and stable revivals
• A denotational semantics for Handel-C
• A semantics for behavior trees using CSP with specification commands
• Cameo: an alternative model of concurrency for Eiffel
• Interface theories for concurrency and data
• Angelic nondeterminism in the unifying theories of programming
• Unifying theories of reactive design contracts
• Towards a UTP Semantics for Modelica
• Title not available (Why is that?)
• Title not available (Why is that?)
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS
• Unifying Heterogeneous State-Spaces with Lenses
• Experiments in program verification using Event-B
• Mechanised support for sound refinement tactics
• Connectors as designs: modeling, refinement and test case generation
• Mechanical reasoning about families of UTP theories
• Refinement-oriented models of Stateflow charts
• Circus Time with Reactive Designs
• Refinement and verification in component-based model-driven design
• Modelling temporal behaviour in complex systems with Timebands
• FM 2005: Formal Methods
• From control law diagrams to Ada via \textsf{Circus}
• A refinement strategy for Circus
• Building program construction and verification tools from algebraic principles
• A UTP semantics for \textsf{Circus}
• Derivation of concurrent programs by stepwise scheduling of Event-B models
• On integrating confidentiality and functionality in a formal method
• Refinement patterns for ASTDs
• A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
• Denotational semantics and its algebraic derivation for an event-driven system-level language
• Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
• A Hoare logic for linear systems
• FM 2005: Formal Methods
• Integrating a formal method into a software engineering process with UML and Java
• Simulink Timed Models for Program Verification
• Interactive tool support for CSP \(\parallel\) B consistency checking
• Categorical foundations for structured specifications in \(\mathsf{Z}\)
• A tactic language for refinement of state-rich concurrent specifications
• Semantic domains for Handel-C
• The behavioural semantics of Event-B refinement
• Test selection for traces refinement
• rCOS: a refinement calculus of object systems
• Testing for refinement in \textsf{Circus}
• A process algebraic framework for specification and validation of real-time systems
• A formal framework for modeling and validating simulink diagrams
• CSP with Hierarchical State
• A Stepwise Approach to Linking Theories
• Safety-critical Java programs from \textsf{Circus} models
• The safety-critical Java memory model formalised
• Unifying theories in ProofPower-Z
• Type checking \textsf{Circus} specifications
• Automating Refinement of Circus Programs
• A timeband framework for modelling real-time systems
• Unifying Theories of Programming in Isabelle
• Unifying theories of time with generalised reactive processes
• Automated verification of reactive and concurrent programs by calculation
• Encoding Circus Programs in ProofPowerZ

This page was built for software: Circus