Improving SMT solver integrations for the validation of B and Event-B models

J Schmidt, M Leuschel - Formal Methods for Industrial Critical Systems …, 2021 - Springer
ProB provides a constraint solver for the B-method written in Prolog and optionally can make
use of different backends based on SAT or SMT solving. One such solver integration …
被引用次数：8 相关文章

Improving SMT Solver Integrations for the Validation of B and Event-B Models

J Schmidt, M Leuschel - International Conference on Formal Methods for …, 2021 - dl.acm.org
ProB provides a constraint solver for the B-method written in Prolog and optionally can make
use of different backends based on SAT or SMT solving. One such solver integration …