PV6 Rodintheorem prover

a platform to support the application of the Event-B formal method

Type of tool

theorem prover

Links

Last commit date

29 April 2022

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.