Explore projects
-
Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.
Updated -
-
Updated
-
Updated
-
-
-
Research GitLab will be migrated to a new VM host on Wednesday 30 April, from 06:00 - 09:00 AEST. No downtime is expected, but the server may be slow to respond. If you have any concerns, please speak to us in CSIT N110B or email facility-staff.comp@anu.edu.au.
Parallel Fixed-point Model Checker (PFMC) - a parallel version of Open-Source Fixed-point Model Checker (OFMC) for security protocol verification.