Model checking object-Z classes: Some experiments with FDR

Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC

Volumn , Issue , 2001, Pages 445-452

  Kassel, Geoff ^a   Smith, Graeme ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DATA STRUCTURES; MATHEMATICAL MODELS; PROGRAM TRANSLATORS; SEMANTICS; STATE SPACE METHODS;

FORMAL SPECIFICATION LANGUAGE; MODEL CHECKER;

OBJECT ORIENTED PROGRAMMING;

EID: 0035695799     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Model checking in practice: The T9000 virtual channel processor
2. Model checking support for the ASM high-level language
3. CSP-OZ - A combination of CSP and object-Z
4. Model-checking CSP-OZ specifications with FDR
5. Formal verification of the Gigamax cache consistency protocol
6. Model-checking CSP-Z: Strategy, tool support and industrial application
7. Model checking CSP
8. A fully abstract semantics of classes for Object-Z
9. A semantic integration of Object-Z and CSP for the specification of concurrent systems
10. The Object-Z specification language
11. Specification, refinement and verification of concurrent systems-An integration of Object-Z and CSP