ORA Canada was a formal methods↑ company based in Ottawa↑, Canada↑, and run by Dan Craigen with the help of Mark Saaltink.
The company produced the EVES proof tool, and the associated Z/EVES tool for Z notation proof support.
ORA Canada was a formal methods↑ company based in Ottawa↑, Canada↑, and run by Dan Craigen with the help of Mark Saaltink.
The company produced the EVES proof tool, and the associated Z/EVES tool for Z notation proof support.