Temporal logics and model checking algorithms for ZIAs

No abstract is available for this paper.

• Publication year

  2010

• Venue

  The 2nd International Conference on Software Engineering and Data Mining

• Publication date

  2010-06-23

• Fields of study

  Computer Science

• Identifiers

  No identifiers available.

• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Empirical Evaluation of Classifiers for Software Risk Management

  2009cited by this paper
• Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata

  2008cited by this paper
• Assume-Guarantee Verification for Interface Automata

  2008cited by this paper
• Formal Specification and Documentation using Z

  2003cited by this paper
• Interface automata

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

  2001cited by this paper
• Overview of the Semantics of TCOZ

  1999cited by this paper
• How to Combine Z with Process Algebra

  1998cited by this paper
• Theories of Programming Languages: Communicating Sequential Processes

  1998influential reference
• CSP-OZ: a combination of object-Z and CSP

  1997cited by this paper
• Viewpoint Consistency in Z and LOTOS: A Case Study

  1997cited by this paper
• Formal Specification and Documentation Using Z: A Case Study Approach

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

  1996influential reference
• A Theory of Timed Automata

  1994cited by this paper
• Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling

  1994cited by this paper
• The Temporal Logic of Reactive and Concurrent Systems

  1991cited by this paper
• The Z notation: A reference manual

  1990cited by this paper

• The Formal Transformation of AADL Based on Z-CoIA

  2017cites this paper
• The Design and Implementation of a Dynamic Verification System of Z

  2015cites this paper