ProB: A Model Checker for B

This publication has 15 references indexed in Scilit:

• Alloy
  ACM Transactions on Software Engineering and Methodology, 2002
• CLPS-B—A Constraint Solver for B
  Published by Springer Nature ,2002
• A System-Based Approach to the Formal Development of Embedded Controllers for a Railway
  Design Automation for Embedded Systems, 2002
• A micromodularity mechanism
  Published by Association for Computing Machinery (ACM) ,2001
• csp2B: A Practical Approach to Combining CSP and B
  Formal Aspects of Computing, 2000
• Sets and constraint logic programming
  ACM Transactions on Programming Languages and Systems, 2000
• Reachability Analysis of (Timed) Petri Nets Using Real Arithmetic
  Published by Springer Nature ,1999
• Logic programming and model checking
  Published by Springer Nature ,1998
• An open-ended finite domain constraint solver
  Published by Springer Nature ,1997
• The B-Book
  Published by Cambridge University Press (CUP) ,1996