LocUsT is a tool for checking resource usages against local policies. Resource usages are expressed in a simple process algebra, annotated with local policies. Policies are parametrized finite state automata, defining the policies which must hold for every resource. The theory underlying the LocUsT tool has been made available as a technical report, as well as a short guide to the tool.

The archive above includes some examples. LocUsT is released under the GNU General Public License, version 3.

LocUsT is written in Haskell. The Glasgow Haskell Compiler version 6.8 (or higher compatible) is required to build LocUsT.



Valid CSS Valid XHTML 1.1 Roberto Zunino, 2011