Checking Z Data Refinements Using Traces Refinement

No abstract is available for this paper.

• Publication year

  2009

• Venue

  Brazilian Symposium on Formal Methods

• Publication date

  2009-07-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/j.entcs.2009.05.049
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On using data abstractions for model checking refinements

  2007cited by this paper
• Verifying data refinements using a model checker

  2006cited by this paper
• Constructing Induction Rules for Deductive Synthesis Proofs

  2006cited by this paper
• Using the Alloy Analyzer to Verify Data Refinement in Z

  2005influential reference
• Efficient CSPZ Data Abstraction

  2004cited by this paper
• Proving Temporal Properties of Z Specifications Using Abstraction

  2003cited by this paper
• Mechanical Abstraction of CSPZ Processes

  2002cited by this paper
• Model-checking CSP-Z: strategy, tool support and industrial application

  2001cited by this paper
• On the Refinement and Simulation of Data Types and Processes

  1999cited by this paper
• Data Abstraction for CSP-OZ

  1999cited by this paper
• More Powerful Z Data Refinement: Pushing the State of the Art in Industrial Refinement

  1998cited by this paper
• The Theory and Practice of Concurrency

  1997cited by this paper
• Proof Theory and Automated Deduction

  1997cited by this paper
• Using Z - specification, refinement, and proof

  1996influential reference
• From VDM specifications to functional prototypes

  1993cited by this paper

• Abstraction of infinite and communicating CSPZ processes

  2009cites this paper