scientific article; zbMATH DE number 2087620

zbMATH Open1077.68686MaRDI QIDQ4738464FDOQ4738464

Authors: Radu Iosif 

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2318/23180022.htm

Title of this publication is not available (Why is that?)

Recommendations

• Publication:4942017
• Space-reduction strategies for model checking dynamic software
• scientific article; zbMATH DE number 1796126
• Tools and Algorithms for the Construction and Analysis of Systems
• Efficient symmetry reduction and the use of state symmetries for symbolic model checking

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (26)

• Space-reduction strategies for model checking dynamic software
• Title not available (Why is that?)
• Extending symmetry reduction techniques to a realistic model of computation
• Efficient Approximate Verification of Promela Models Via Symmetry Markers
• Symmetry and partial order reduction techniques in model checking Rebeca
• Optimistic synchronization-based state-space reduction
• Employing symmetry reductions in model checking
• Efficient symmetry reduction and the use of state symmetries for symbolic model checking
• Title not available (Why is that?)
• Vector symmetry reduction
• Exploring structural symmetry automatically in symbolic trajectory evaluation
• Symmetry Reduction for Probabilistic Model Checking
• Combining symmetry reduction and under-approximation for symbolic model checking
• Adaptive Symmetry Reduction
• Combining techniques to reduce state space and prove strong properties
• Title not available (Why is that?)
• Title not available (Why is that?)
• Computer Aided Verification
• Formal Modeling and Analysis of Timed Systems
• Exploiting symmetry for efficient verification of infinite-state component-based systems
• Title not available (Why is that?)
• Symmetry reduction in infinite games with finite branching
• Title not available (Why is that?)
• Tools and Algorithms for the Construction and Analysis of Systems
• Title not available (Why is that?)
• Extending Symmetry Reduction by Exploiting System Architecture

Uses Software

• SPIN
• dSPIN

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4738464)