ProB: A Model Checker for B

By Michael Leuschel, Michael J. Butler. FME, 2003

651 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Information Systems, Software

View Paper: https://www.semanticscholar.org/paper/4d27717db802e54cdfc97359ed6274186ddd7789

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Computational Theory and Mathematics

1. Colin Frank Snook
2. Michael J. Butler

In Information Systems

1. Colin Frank Snook
2. Michael J. Butler

In Software

1. Colin Frank Snook
2. Michael J. Butler

Citations in the corpus

• UML-B: Formal modeling and design aided by UML (2006, methodology): “A B model checker, ProB, has been developed at the Uni­versity of Southampton [Leuschel and Butler 2003].”
• Rodin: an open toolset for modelling and reasoning in Event-B (2010, methodology): “The ProB animator and model checker has been presented in [30].”