cprover
Bmct class
Author

equation

To be documented.