Links
Prosyd European Project
Project aimed to reference methodology and a set of coherent PSL/Sugar-based tools for property-based system design.
The TLV home page.
A formal verification framework.
The SMV home page.
The SMV model checker. Other variants of SMV are available at
NuSMV
, and
Cadence SMV
.