This page provides access to the open source code of Mohawk+T and to the data files used in it's testing.
ARBAC Solver. Based on the original Mohawk by Karthick Jayaraman, but has been improved for better logging, timing, and upgraded to a newer version of NuSMV.
Global Repository that is shared between all repos.
Tool used to convert Mohawk+T spec files into Mohawk, ASASPTime SA/NSA, and TRedRole/TRedRule spec files.
Converts ASASPTime SA/NSA and Mohawk spec files to Mohawk+T spec files.
Generates random testcases acording to size and algorithm constraints.
Testing tool to measure the timing of each software against their version of the spec file.