Efficient reduction techniques for systems with many components

zbMATH Open1272.68244MaRDI QIDQ2848460FDOQ2848460

Authors: Thomas Wahl, E. Allen Emerson 

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002306

Recommendations

• Efficient symmetry reduction and the use of state symmetries for symbolic model checking
• Tools and Algorithms for the Construction and Analysis of Systems
• Adaptive Symmetry Reduction
• scientific article; zbMATH DE number 1744968
• Exploiting symmetry for efficient verification of infinite-state component-based systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (2)

• Exploiting symmetry for efficient verification of infinite-state component-based systems
• Good to know about the efficiency of state space methods

This page was built for publication: Efficient reduction techniques for systems with many components

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