The following pages link to Graeme Smith (Q202498):
Displaying 37 items.
- Property transformation under specification change (Q352027) (← links)
- Emergence and refinement (Q432157) (← links)
- Refining autonomous agents with declarative beliefs and desires (Q520236) (← links)
- Structural refinement of systems specified in Object-Z and CSP (Q706503) (← links)
- Linearizability on hardware weak memory models (Q782494) (← links)
- Verifying data refinements using a model checker (Q851129) (← links)
- Model checking action system refinements (Q1019017) (← links)
- An introduction to Real-Time Object-Z. (Q1601245) (← links)
- Relating trace refinement and linearizability (Q1688548) (← links)
- A blocking model for reactive objects (Q1918937) (← links)
- Temporal-logic property preservation under Z refinement (Q1941860) (← links)
- A wide-spectrum language for verification of programs on weak memory models (Q2024349) (← links)
- Model checking downward simulations (Q2863839) (← links)
- State-bases approaches: from Z to Object-Z (Q2906939) (← links)
- Reasoning Algebraically About Refinement on TSO Architectures (Q2938158) (← links)
- A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (Q3608893) (← links)
- (Q4412485) (← links)
- (Q4412557) (← links)
- (Q4436972) (← links)
- (Q4436973) (← links)
- (Q4471913) (← links)
- (Q4471918) (← links)
- (Q4472177) (← links)
- (Q4494238) (← links)
- (Q4495073) (← links)
- (Q4534707) (← links)
- Model Checking Simulation Rules for Linearizability (Q4571132) (← links)
- (Q4737564) (← links)
- (Q4940107) (← links)
- An Observational Approach to Defining Linearizability on Weak Memory Models (Q5082193) (← links)
- A Refinement Framework for Autonomous Agents (Q5166667) (← links)
- A Framework for Correctness Criteria on Weak Memory Models (Q5206951) (← links)
- Algebraic Methodology and Software Technology (Q5312975) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703821) (← links)
- Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\) (Q5943269) (← links)
- Value-dependent information-flow security on weak memory models (Q6535968) (← links)
- Compositional reasoning for non-multicopy atomic architectures (Q6610380) (← links)
