@inproceedings{deploy133,
       booktitle = {AFM09 (Automated Formal Methods)},
           title = {SAL, Kodkod, and BDDs for Validation of B Models. Lessons and Outlook.},
          author = {Daniel Plagge and Michael Leuschel and Ilya Lopatkin and Alexei Iliasov and Alexander Romanovsky},
            year = {2009},
           pages = {16--22},
             url = {http://deploy-eprints.ecs.soton.ac.uk/133/},
        abstract = {PROB is a model checker for high-level B and Event-B models based on constraint-solving. In this paper we investigate alternate approaches for validating high-level B models using alternative techniques and tools based on using BDDs, SAT-solving and SMT-solving. In particular, we examine whether PROB can be complemented or even supplanted by using one of the tools BDDBDDB, Kodkod or SAL.}
}