Home

Publications

Links

Contacts

FM&SE Lab - Formal Methods and Software Engineering Laboratory

Asmeta - A set of tools for Abstract State Machines

nusmv-tools - Tools for the model checker NuSMV

NuSeen - An eclipse-based environment for the NuSMV model checker

epop - Extensible Publish or Perish