Optimising the ProB model checker for B using partial order reduction
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 2087625
- Formal verification of a partial-order reduction technique for model checking
- Dynamic partial-order reduction for model checking software
- Combining partial-order reductions with on-the-fly model-checking.
- Formal verification of an executable LTL model checker with partial order reduction
- scientific article; zbMATH DE number 1361136
Cites work
- scientific article; zbMATH DE number 177511 (Why is no real title available?)
- scientific article; zbMATH DE number 1059329 (Why is no real title available?)
- scientific article; zbMATH DE number 1497783 (Why is no real title available?)
- scientific article; zbMATH DE number 5585443 (Why is no real title available?)
- Depth-First Search and Linear Graph Algorithms
- Derivation of concurrent programs by stepwise scheduling of Event-B models
- Directed Model Checking for B: An Evaluation and New Techniques
- Integrated Formal Methods
- Isabelle/HOL. A proof assistant for higher-order logic
- Model Checking Software
- Modeling in Event B. System and software engineering.
- Optimising the ProB model checker for B using partial order reduction
- Partial Order Reduction for State/Event LTL
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- State space reduction for sensor networks using two-level partial order reduction
- State space reduction using partial order techniques
- Stutter-invariant temporal properties are expressible without the next-time operator
- The B-Book
- The High Road to Formal Validation:
- Using partial orders for the efficient verification of deadlock freedom and safety properties
Cited in
(5)- Optimising the ProB model checker for B using partial order reduction
- Formal verification of an executable LTL model checker with partial order reduction
- scientific article; zbMATH DE number 2087625 (Why is no real title available?)
- scientific article; zbMATH DE number 7407780 (Why is no real title available?)
- Operation caching and state compression for model checking of high-level models. How to have your cake and eat it
Describes a project that uses
Uses Software
This page was built for publication: Optimising the ProB model checker for B using partial order reduction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q736463)
