To run the code examples in Ethics and Security Automata, it is recommended the reader download and install the GUI version of Prover 9. This is available as a free download for Windows, Mac and Linux from this url:
http://www.cs.unm.edu/~mccune/prover9/gui/v05.html
Files in Prover 9 format (.pr) are provided in this demos.zip file. The demos.zip file can be downloaded and the contents extracted into a folder. Prover 9 can then be used to open and run the .pr files.
© Falcon Robotics Ltd 2024