Index of /backup/Downloads/prism-4.8.1-linux64-x86/prism-examples/poptas/simple/

../
example1.prism                                     12-Jan-2024 23:19                 826
example1.props                                     12-Jan-2024 23:19                  21
example2.prism                                     12-Jan-2024 23:19                 849
example2.props                                     12-Jan-2024 23:19                  21