DIVINE is a modern explicit-state model checker. Building on high-performance algorithms and data structures, it offers unparalleled versatility, scaling from a typical developer’s laptop, up to a high-end compute cluster. What more, it can verify a wide range of languages, including C and C++.
Commercial Use
Modify
Distribute
Place Warranty
Hold Liable
Include Copyright
Include License
These details are provided for information only. No information here is legal advice and should not be used as such.
There are no reported vulnerabilities
30 Day SummaryFeb 4 2024 — Mar 5 2024
|
12 Month SummaryMar 5 2023 — Mar 5 2024
|