ETAPS Test-of-Time Award for the probabilistic model checker PRISM
Gethin Norman has been awarded the 2024 ETAPS Test-of-Time Tool Award with his colleagues Marta Kwiatkowska and Dave Parker of the University of Oxford for their probabilistic model checking tool PRISM.
PRISM is an open-source software tool with over 20 years of development for modeling and analysing the behaviour of real-world systems whose behaviour exhibits uncertainty or randomness. Widely adopted in both academia and industry, PRISM supports a range of critical applications from internet security protocols, to quantum cryptography to protein interactions in the human cell. Its modeling language is the standard in probabilistic model verification, used extensively in education and professional projects globally.
ETAPS – the European joint conferences on Theory and Practice of Software – is the primary European forum for academic and industrial researchers working on topics relating to software science and has been running for over 25 years. The ETAPS Test-of-Time Tool Award recognises “the importance of reliable and well-maintained research tools and the significant effort that their creation and maintenance entails” and acknowledges tools that have a lasting effect on the community.