The Unit-B Formal Method

Welcome to the Unit-B Project

Projects

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

Team

1. Simon Hudon
2. Amin Bandali

References

1. 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)