FORTE Best Artefact Award

Prize: OtherCareer, activity or publication related prizes (lifetime, best paper, poster etc.)Scientific


Best software artefact awarded for the tool associated with the publication 'Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2’ by Arshad, Horne, Johansen, Owe and Willemse, published in FORTE 2022.
Degree of recognitionInternational

Awarded at event

Event title42nd IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2022 Held as Part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 2022
LocationLucca, ItalyShow on map
Period13 Jun 2022 → 17 Jun 2022