The following pages link to (Q4301167):
Displaying 50 items.
- Property transformation under specification change (Q352027) (← links)
- An observationally complete program logic for imperative higher-order functions (Q387994) (← links)
- Mechanised support for sound refinement tactics (Q432151) (← links)
- Experiments in program verification using Event-B (Q432154) (← links)
- Model evolution and refinement (Q436356) (← links)
- Mechanical reasoning about families of UTP theories (Q436368) (← links)
- JCML: A specification language for the runtime verification of Java card programs (Q436381) (← links)
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- Domain science and engineering from computer science to the sciences of informatics. II: Science (Q464883) (← links)
- Model checking RAISE applicative specifications (Q470000) (← links)
- Refinement modal logic (Q476194) (← links)
- Test selection for traces refinement (Q481094) (← links)
- Manifest domains: analysis and description (Q520235) (← links)
- On the purpose of Event-B proof obligations (Q539230) (← links)
- Completeness of fair ASM refinement (Q541210) (← links)
- A tactic language for refinement of state-rich concurrent specifications (Q541214) (← links)
- Formalisations and applications of BPMN (Q541678) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- From control law diagrams to Ada via \textsf{Circus} (Q640296) (← links)
- Automating Event-B invariant proofs by rippling and proof patching (Q667526) (← links)
- Test-data generation for control coverage by proof (Q736805) (← links)
- On integrating confidentiality and functionality in a formal method (Q736833) (← links)
- The behavioural semantics of Event-B refinement (Q736910) (← links)
- Introducing extra operations in refinement (Q736913) (← links)
- Continuous KAOS, ASM, and formal control system design across the continuous/discrete modeling interface: a simple train stopping application (Q736916) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Testing for refinement in \textsf{Circus} (Q766162) (← links)
- Correct hardware synthesis (Q766178) (← links)
- An Event-B based approach for cloud composite services verification (Q826351) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Using formal reasoning on a model of tasks for FreeRTOS (Q903515) (← links)
- Data refinement and singleton failures refinement are not equivalent (Q931436) (← links)
- A process algebraic framework for specification and validation of real-time systems (Q968306) (← links)
- Refinement and verification in component-based model-driven design (Q1004291) (← links)
- Verifying the CICS file control API with Z/Eves: An experiment in the verified software repository (Q1004294) (← links)
- POSIX file store in Z/Eves: An experiment in the verified software repository (Q1004296) (← links)
- A UTP semantics for \textsf{Circus} (Q1019016) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- FDR explorer (Q1019020) (← links)
- A formal framework for modeling and validating simulink diagrams (Q1037245) (← links)
- A calculus for schemas in Z (Q1583855) (← links)
- Special issue: Perturbation methods and formal modeling for dynamic systems (Q1668939) (← links)
- Designing a semantic model for a wide-spectrum language with concurrency (Q1682288) (← links)
- Angelic processes for CSP via the UTP (Q1757156) (← links)
- Abstract state machines: a unifying view of models of computation and of system design frameworks (Q1772776) (← links)
- An abstract model for proving safety of autonomous urban traffic (Q1786569) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
