index.md

The Unit-B Formal Method

Welcome to the Unit-B Project

Projects

0. The Literate Unit-B Verifier (here)
1. A Lean embedding of the Unit-B Logic and Refinement Calculus (here)

Team

0. Simon Hudon
1. Amin Bandali

References

0. Simon Hudon, Thai Son Hoang, Jonathan S. Ostroff: The Unit-B method: refinement guided by progress concerns. Software and System Modeling 15(4): 1091-1116 (2016)