The following pages link to John Derrick (Q202499):
Displaying 50 items.
- Z2SAL: a translation-based model checker for Z (Q539218) (← links)
- Incompleteness of relational simulations in the blocking paradigm (Q608349) (← links)
- (Q698094) (redirect page) (← links)
- A formal framework for viewpoint consistency (Q698095) (← links)
- Structural refinement of systems specified in Object-Z and CSP (Q706503) (← links)
- Relational concurrent refinement (Q706513) (← links)
- Relational concurrent refinement. III: Traces, partial relations and automata (Q736917) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- On using data abstractions for model checking refinements (Q878378) (← links)
- Relational concurrent refinement. II: Internal operations and outputs (Q1019018) (← links)
- Specifying and refining internal operations in \(Z\) (Q1272761) (← links)
- Strategies for consistency checking based on unification (Q1283883) (← links)
- Combining component specifications in Object-Z and CSP. (Q1601244) (← links)
- Mechanized proofs of opacity: a comparison of two techniques (Q1673658) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- Constructive consistency checking for partial specification in Z (Q1961429) (← links)
- Verifying correctness of persistent concurrent data structures: a sound and complete method (Q1982636) (← links)
- Model transformations across views (Q2266947) (← links)
- (Q2721099) (← links)
- Refinement in Z and object-Z. Foundations and advanced applications (Q2724177) (← links)
- Analysis of a multimedia stream using stochastic process algebra (Q2765225) (← links)
- Unifying concurrent and relational refinement (Q2844822) (← links)
- A High-Level Semantics for Program Execution under Total Store Order Memory (Q2851906) (← links)
- Model checking downward simulations (Q2863839) (← links)
- Issues in formal methods (Q2906934) (← links)
- Viewpoints modelling (Q2906956) (← links)
- Reasoning Algebraically About Refinement on TSO Architectures (Q2938158) (← links)
- A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures (Q2946743) (← links)
- Relational Concurrent Refinement: Automata (Q2994488) (← links)
- Proving Opacity of a Pessimistic {STM} (Q3174968) (← links)
- Modelling Divergence in Relational Concurrent Refinement (Q3605466) (← links)
- Proving Linearizability Via Non-atomic Refinement (Q3608884) (← links)
- Model Transformations Incorporating Multiple Views (Q3623929) (← links)
- (Q4250653) (← links)
- (Q4251109) (← links)
- (Q4412485) (← links)
- (Q4412549) (← links)
- (Q4413670) (← links)
- (Q4436964) (← links)
- (Q4436974) (← links)
- (Q4471917) (← links)
- (Q4471918) (← links)
- (Q4472184) (← links)
- (Q4494251) (← links)
- A single complete refinement rule for Z (Q4522331) (← links)
- Refinement (Q4558901) (← links)
- (Q4762658) (← links)
- (Q4790345) (← links)
- (Q4808829) (← links)
- Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory (Q5041273) (← links)
