The following pages link to Z (Q22253):
Displaying 50 items.
- Modelling and analysing neural networks using a hybrid process algebra (Q264526) (← links)
- On definitions of constants and types in HOL (Q287358) (← links)
- 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)
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Refinement-oriented models of Stateflow charts (Q436420) (← links)
- Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control (Q444460) (← 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)
- Z2SAL: a translation-based model checker for Z (Q539218) (← 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)
- A semantics for behavior trees using CSP with specification commands (Q549693) (← links)
- ASM refinement and generalizations of forward simulation in data refinement: a comparison (Q555790) (← links)
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← 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)
- A theory of software product line refinement (Q714875) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Compensation by design (Q736799) (← 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)
- Components as coalgebras: the refinement dimension (Q820141) (← 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)
- Transposing partial components--an exercise on coalgebraic refinement (Q854163) (← links)
- Generalising the array split obfuscation (Q867610) (← links)
- Verifying a signature architecture: a comparative case study (Q877156) (← links)
- On using data abstractions for model checking refinements (Q878378) (← links)
- Object oriented concepts identification from formal \(B\) specifications (Q883142) (← links)
- Categorical foundations for structured specifications in \(\mathsf{Z}\) (Q903494) (← links)
- Using formal reasoning on a model of tasks for FreeRTOS (Q903515) (← links)
