Distributed symbolic bounded property checking

MaRDI QIDQ2848663zbMATH OpenFDO

Authors Pradeep K. Nalla, Roland J. Weiss, Prakash Peranandam, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Publication date 26 September 2013

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

Mathematics Subject Classification ID

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

Recommendations

• Distributed explicit bounded LTL model checking
• scientific article; zbMATH DE number 1798187
• Distributed symbolic model checking for -calculus
• Testing Distributed Systems Through Symbolic Model Checking
• Efficient distributed SAT and SAT-based distributed bounded model checking
• An approach to the verification of symmetric parameterized distributed systems
• Bounded model checking distributed temporal logic

Cited in

(5)

• Distributed and predictable software model checking
• A method for the verification of a distributed and synchronized algorithm
• scientific article; zbMATH DE number 1798187 (Why is no real title available?)
• Distributed bounded model checking
• Efficient distributed SAT and SAT-based distributed bounded model checking

This page was built for publication: Distributed symbolic bounded property checking

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