Model Checking B Models via High-Level Code Generation.

Fabian Vu, Dominik Brandt, Michael Leuschel

Browse the full ICFEM paper archive.