VERDS

Verification of hierarchical discrete systems by symbolic techniques.

Downloads

  • Old versions are available following this link.

  • Benchmarks:

    • Last modified: DEC 2012