Good to know about the efficiency of state space methods

MaRDI QIDQ2866408zbMATH OpenFDO

Authors Mikko Tiusanen, Antti Valmari

Publication date 13 December 2013

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

BDDbinary decision diagrampartial order verificationprocess algebrastate space reductionsymmetryverification

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Efficient symmetry reduction and the use of state symmetries for symbolic model checking
• scientific article; zbMATH DE number 1701774
• scientific article; zbMATH DE number 1418461
• scientific article; zbMATH DE number 1905121
• Efficient reduction techniques for systems with many components

Cited in

(4)

• Specification guidelines to avoid the state space explosion problem
• scientific article; zbMATH DE number 1069481 (Why is no real title available?)
• scientific article; zbMATH DE number 1418461 (Why is no real title available?)
• Computer Aided Verification

This page was built for publication: Good to know about the efficiency of state space methods

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