Automated Property Verification for Large Scale B Models.

Michael Leuschel, Jrme Falampin, Fabian Fritz, Daniel Plagge

Browse the full FM paper archive.