Index of /backup/Downloads/prism-4.8.1-linux64-x86/prism-examples/imdps/consensus/

../
README.txt                                         12-Jan-2024 23:19                1048
auto                                               12-Jan-2024 23:19                 217
coin.props                                         12-Jan-2024 23:19                 266
coin2.prism                                        12-Jan-2024 23:19                1663
coin4.prism                                        12-Jan-2024 23:19                1943