|
2020 Other Outputs Automatic linearizability checking of operations on concurrent data structuresDoolan, Patrick James, Zhang, Chenyi, Smith, Graeme Paul and Krishnan, Padmanabhan (2020). Automatic linearizability checking of operations on concurrent data structures. 10552408. |
|
2002 Other Outputs Using Z to animate Object-Z specificationsMcComb, T. J. and Smith, G. P. (2002). Using Z to animate Object-Z specifications. Brisbane, Australia: The University of Queensland. |
|
2001 Other Outputs Model checking Object-Z classes: Some experiments with FDRKassel, G. D. and Smith, G. P. (2001). Model checking Object-Z classes: Some experiments with FDR. Brisbane: Software Verification Research Cen. Univ of Qld. |
|
2001 Other Outputs Specifying mode requirements for embedded systemsSmith, G. P. (2001). Specifying mode requirements for embedded systems. Brisbane: Software Verification Research Cen. Univ of Qld. |
|
2001 Other Outputs Encoding Object-Z in Isabelle-HOLSmith, G. P., Kammuller, F and Santen, T (2001). Encoding Object-Z in Isabelle-HOL. Brisbane: Software Verification Research Cen. Univ of Qld. |
|
2001 Other Outputs Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSPSmith, 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. |
|
2001 Other Outputs State-based formal methods for distributed processing: from Z to Object-ZSmith, G. P. (2001). State-based formal methods for distributed processing: from Z to Object-Z. Brisbane: Software Verification Research Cen. Univ of Qld. |
