Directed Model Checking for B: An Evaluation and New Techniques

DOI10.1007/978-3-642-19829-8_1zbMATH Open1325.68153OpenAlexW1655466830MaRDI QIDQ2999306FDOQ2999306

Authors: Michael Leuschel, Jens Bendisposto 

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

Recommendations

• Survey on Directed Model Checking
• Model Checking Software
• Transition-Based Directed Model Checking
• Higher-order model checking in direct style
• A Direct Algorithm for Multi-valued Bounded Model Checking
• BDD-based symbolic model checking

zbMATH Keywords

model checkingsearchspintool supportB-methoddirected model checkingindustrial case studies

Mathematics Subject Classification ID

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

Cites Work

• Symbolic model checking: \(10^{20}\) states and beyond
• Title not available (Why is that?)
• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• The B-Book
• The High Road to Formal Validation:
• Title not available (Why is that?)
• Model Checking Software
• Title not available (Why is that?)
• Model Checking Software
• Directed Model Checking for B: An Evaluation and New Techniques

Cited In (8)

• Survey on Directed Model Checking
• Title not available (Why is that?)
• Optimising the ProB model checker for B using partial order reduction
• Integrating formal specifications into applications: the ProB Java API
• Model Checking Software
• Title not available (Why is that?)
• ZB 2005: Formal Specification and Development in Z and B
• Directed Model Checking for B: An Evaluation and New Techniques

Uses Software

• SPIN
• ProB
• jSpin
• TLC
• FDR2

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

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