All (130) Journal Article (31) Book Chapter (6) Conference Publication (77) Book (4) Other Outputs (6) Edited Outputs (6)

2002

Other Outputs

Using Z to animate Object-Z specifications

McComb, T. J. and Smith, G. P. (2002). Using Z to animate Object-Z specifications. Brisbane, Australia: The University of Queensland.

Using Z to animate Object-Z specifications

2001

Other Outputs

State-based formal methods for distributed processing: from Z to Object-Z

Smith, G. P. (2001). State-based formal methods for distributed processing: from Z to Object-Z. Brisbane: Software Verification Research Cen. Univ of Qld.

State-based formal methods for distributed processing: from Z to Object-Z

2001

Other Outputs

Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP

Smith, G. P. and Derrick, J. (2001). Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP. Brisbane: Software Verification Research Cen. Univ of Qld.

Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP

2001

Other Outputs

Specifying mode requirements for embedded systems

Smith, G. P. (2001). Specifying mode requirements for embedded systems. Brisbane: Software Verification Research Cen. Univ of Qld.

Specifying mode requirements for embedded systems

2001

Other Outputs

Encoding Object-Z in Isabelle-HOL

Smith, G. P., Kammuller, F and Santen, T (2001). Encoding Object-Z in Isabelle-HOL. Brisbane: Software Verification Research Cen. Univ of Qld.

Encoding Object-Z in Isabelle-HOL

2001

Other Outputs

Model checking Object-Z classes: Some experiments with FDR

Kassel, G. D. and Smith, G. P. (2001). Model checking Object-Z classes: Some experiments with FDR. Brisbane: Software Verification Research Cen. Univ of Qld.

Model checking Object-Z classes: Some experiments with FDR