LVL Tools now available

Created by pecheur, at February 28, 2011, at 12:49 PM

A new Tools section is now available on the LVL website.

This new section gives access to software developed by LVL. Two packages are currently proposed:

  • Milestones is a model checker that combines symbolic model-checking and partial-order reduction (by Josť Vander Meulen).
  • NuSMV-ARCTL-TLACE is an extension of the NuSMV model-checker adding two main functionalities: model checking of ARCTL (by Franco Raimondi) and generation of complete counter-examples (by Simon Busard).

More will come soon, stay tuned...

Tags Tags: , ,