Specification guidelines to avoid the state space explosion problem

No abstract is available for this paper.

• Publication year

  2011

• Venue

  Software testing, verification & reliability

• Publication date

  2011-04-20

• Fields of study

  Physics, Computer Science, Engineering

• Identifiers
  DOI 10.1002/stvr.1536
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Computer networks

  2018cited by this paper
• Modeling and Analysis of Communicating Systems

  2014cited by this paper
• Randomised testing of a microprocessor model using SMT-solver state generation

  2014cited by this paper
• Formal Methods for Industrial Critical Systems

  2013cited by this paper
• Experience Report on Designing and Developing Control Components Using Formal Methods

  2012cited by this paper
• CADP 2011: a toolbox for the construction and analysis of distributed processes

  2012cited by this paper
• Analyzing a Controller of a Power Distribution Unit Using Formal Methods

  2012cited by this paper
• Experience report on developing the Front-end client unit under the control of formal methods

  2012cited by this paper
• Reliable Software Development: Analysis-Aware Design

  2011cited by this paper
• Investigating the effects of designing industrial control software using push and poll strategies

  2011cited by this paper
• Analyzing the effects of formal methods on the development of industrial control software

  2011cited by this paper
• Analytical software design : introduction and industrial experience report

  2010cited by this paper
• Scalable liveness checking via property-preserving transformations

  2009cited by this paper
• Analysis of distributed systems with mCRL2

  2008cited by this paper
• VLSI Test Principles and Architectures: Design for Testability (Systems on Silicon)

  2006cited by this paper
• Design for Testability

  2006cited by this paper
• ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software

  2005cited by this paper
• Under consideration for publication in Math. Struct. in Comp. Science Reo: A Channel-based Coordination Model for Component Composition

  2003cited by this paper
• The SPIN Model Checker

  2003cited by this paper
• The SPIN Model Checker - primer and reference manual

  2003cited by this paper
• State Space Reduction by Proving Confluence

  2002cited by this paper
• Formal methods in system design

  1999cited by this paper
• Uppaal in a nutshell

  1997cited by this paper
• Balancing push and pull for data broadcast

  1997cited by this paper
• Abstract interpretation of reactive systems

  1997cited by this paper
• Branching time and abstraction in bisimulation semantics

  1996cited by this paper
• Software Testability: The New Verification

  1995cited by this paper
• Confluence for Process Verification

  1995cited by this paper
• The Esterel Synchronous Programming Language: Design, Semantics, Implementation

  1992cited by this paper
• Calculus of Communicating Systems

  1991cited by this paper
• Specification Styles in Distributed Systems Design and Verification

  1991cited by this paper
• Process algebra

  1990cited by this paper
• Protocol verification using reachability analysis: the state space explosion problem and relief strategies

  1987cited by this paper
• The importance of the service concept in the design of data communications protocols

  1985cited by this paper
• Design for Testability

  1982cited by this paper
• Computer Networks, Second Edition

  1981cited by this paper
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

  1977cited by this paper

• A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier

  2025cites this paper
• Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment

  2024influential citation
• Compositional Techniques for Asynchronous Boolean Networks

  2024cites this paper
• Exploring Equivalences in Multi-Valued Systems: Concepts, Properties, and Generation Methods

  2023cites this paper
• A methodology combining reinforcement learning and simulation to optimize the in silico culture of epithelial sheets

  2023cites this paper
• A methodology combining reinforcement learning and simulation to optimize biofabrication protocols applied to the simulated culture of epithelial sheets

  2023cites this paper
• Relation Between Test Coverage and Timed Automata Model Structure

  2021cites this paper
• Nets-within-nets for modeling emergent patterns in ontogenetic processes

  2021cites this paper
• Tutorial: Designing Distributed Software in mCRL2

  2021cites this paper
• Solving Sequential Text Classification as Board-Game Playing

  2020cites this paper
• A Formally Verified Highly Resilient Safety Concept with Degraded Modes for Automated Driving

  2020cites this paper
• A symmetric protocol to establish service level agreements

  2020cites this paper
• A Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness

  2020cites this paper
• A Formally Verified Fail-Operational Safety Concept for Automated Driving

  2020cites this paper
• Beyond SOTIF: Black Swans and Formal Methods

  2020cites this paper
• Verification of concurrent systems in a model-driven engineering workflow

  2019cites this paper
• A Methodology for Automating the Cloud Data Center Availability Assessment

  2019cites this paper
• Strategies to Recover from Satellite Communication Failures

  2019cites this paper
• Verifying System-Wide Properties of Industrial Component-Based Software

  2019cites this paper
• Testing of Automotive Systems - Complex vs. Simple Environment Models

  2018cites this paper
• Programs from Proofs

  2017cites this paper
• Verifying integrity of exception handling in service-oriented software

  2017cites this paper
• Methods for Verification and Validation of Automotive Distributed Systems

  2017cites this paper
• VALID 2017

  2017cites this paper
• Application of Extended Timed Automata to Automotive Integration Testing

  2017cites this paper
• An Efficient Performance-Driven Approach for HW/SW Co-Design

  2017cites this paper
• Efficient online detection of temporal patterns

  2016cites this paper
• Model-driven Analysis and Verification of Automotive Embedded Systems

  2016cites this paper
• Computational model validation using a novel multiscale multidimensional spatio-temporal meta model checking approach

  2016cites this paper
• Evaluating the effect of a lightweight formal technique in industry

  2015cites this paper
• Compositional verification of asynchronous concurrent systems using CADP

  2015cites this paper
• On Efficiently Specifying Models for Model Checking

  2014cites this paper
• Efficient modelling, generation and analysis of Markov automata

  2013cites this paper
• Reliability Analysis of Software Architecture Evolution

  2013cites this paper
• Security Policies for WFMS with Rich Business Logic - A Model Suitable for Analysis

  2013cites this paper
• A deep reinforcement learning approach to the optimization of epithelial sheets biofabrication

  year unknowncites this paper
• Opleiding Informatica Hyper-minimisation of Probabilistic Deterministic Finite Automata

  year unknowncites this paper