Directed Model Checking for B: An Evaluation and New Techniques

DOI10.1007/978-3-642-19829-8_1zbMath1325.68153OpenAlexW1655466830MaRDI QIDQ2999306

Jens Bendisposto, Michael Leuschel

Publication date: 12 May 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19829-8_1

zbMATH Keywords

spinmodel checkingsearchtool supportB-methoddirected model checkingindustrial case studies

Mathematics Subject Classification ID

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

Related Items (4)

Integrating formal specifications into applications: the ProB Java API ⋮ Unnamed Item ⋮ Directed Model Checking for B: An Evaluation and New Techniques ⋮ Optimising the ProB model checker for B using partial order reduction

Uses Software

• SPIN
• ProB
• jSpin
• TLC
• FDR2

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Directed Model Checking for B: An Evaluation and New Techniques
• The High Road to Formal Validation:
• The B-Book
• Model Checking Software
• Model Checking Software
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Directed Model Checking for B: An Evaluation and New Techniques