Efficient reduction techniques for systems with many components

MaRDI QIDQ2848460zbMATH OpenFDO

Authors Thomas Wahl, E. Allen Emerson

Publication date 26 September 2013

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

Mathematics Subject Classification ID

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

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

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)