scientific article; zbMATH DE number 2087620

MaRDI QIDQ4738464zbMATH OpenFDO

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1418460
• 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

Cited in

(26)

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

Describes a project that uses

Uses Software

• dSPIN
• SPIN

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)