SMT Solvers for Validation of B and Event-B Models.

Sebastian Krings, Michael Leuschel

Browse the full IFM paper archive.