Using Relational and Behavioural Semantics in the Verification of Object Models

This publication has 12 references indexed in Scilit:

• Use Case Maps and Lotos for the prototyping and validation of a mobile group call system
  Computer Communications, 2000
• On the Refinement and Simulation of Data Types and Processes
  Published by Springer Nature ,1999
• Towards a Formal Operational Semantics of UML Statechart Diagrams
  Published by Springer Nature ,1999
• A Junction Between State Based and Behavioural Specification
  Published by Springer Nature ,1999
• Verifying an infinite family of inductions simultaneously using data independence and FDR
  Published by Springer Nature ,1999
• How to Combine Z with a Process Algebra
  Published by Springer Nature ,1998
• CSP-OZ: A Combination of Object-Z and CSP
  Published by Springer Nature ,1997
• Exploring The Semantics of UML Type Structures with Z
  Published by Springer Nature ,1997
• Prespecification in data refinement
  Information Processing Letters, 1987
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986