Verifying B Proof Rules Using Deep Embedding and Automated Theorem Proving.

Mlanie Jacquel, Karim Berkani, David Delahaye, Catherine Dubois

Browse the full SEFM paper archive.