The following pages link to Circus (Q33628):
Displaying 50 items.
- Mechanised support for sound refinement tactics (Q432151) (← links)
- Experiments in program verification using Event-B (Q432154) (← links)
- Connectors as designs: modeling, refinement and test case generation (Q433336) (← links)
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- A Hoare logic for linear systems (Q469998) (← links)
- Test selection for traces refinement (Q481094) (← links)
- A denotational semantics for Handel-C (Q539165) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- Interface theories for concurrency and data (Q549177) (← links)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- A refinement strategy for Circus (Q706512) (← links)
- Building program construction and verification tools from algebraic principles (Q736461) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- Refinement patterns for ASTDs (Q736838) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Derivation of concurrent programs by stepwise scheduling of Event-B models (Q736912) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Cameo: an alternative model of concurrency for Eiffel (Q846117) (← links)
- Angelic nondeterminism in the unifying theories of programming (Q851128) (← links)
- rCOS: a refinement calculus of object systems (Q854169) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Denotational semantics and its algebraic derivation for an event-driven system-level language (Q903516) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- A timeband framework for modelling real-time systems (Q987537) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- A formal framework for modeling and validating simulink diagrams (Q1037245) (← links)
- Unifying theories of time with generalised reactive processes (Q1708268) (← links)
- A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
- The safety-critical Java memory model formalised (Q1941888) (← links)
- Unifying theories in ProofPower-Z (Q1941892) (← links)
- RiskStructures: a design algebra for risk-aware machines (Q1982648) (← links)
- Unifying theories of reactive design contracts (Q2007732) (← links)
- Automated verification of reactive and concurrent programs by calculation (Q2043817) (← links)
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP (Q2198135) (← links)
- Modelling temporal behaviour in complex systems with Timebands (Q2248089) (← links)
- Model transformations across views (Q2266947) (← links)
- Laws of mission-based programming (Q2355382) (← links)
- Efficient symbolic computation of process expressions (Q2389343) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- Safety-critical Java programs from \textsf{Circus} models (Q2443940) (← links)
- A CSP model of Eiffel's SCOOP (Q2461537) (← links)
- Integrating a formal method into a software engineering process with UML and Java (Q2481209) (← links)
- Responsiveness and stable revivals (Q2642988) (← links)
- Interactive tool support for CSP \(\parallel\) B consistency checking (Q2642989) (← links)
- Simulink Timed Models for Program Verification (Q2842628) (← links)
- Semantic domains for Handel-C (Q2843615) (← links)
- Refinement of actions in Circus (Q2844823) (← links)
