Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Avr | 47 | a year ago | 1 | gpl-3.0 | C++ | |||||
Reads a state transition system and performs property checking | ||||||||||
Cosa | 35 | 1 | 1 | 4 years ago | 16 | June 03, 2019 | 5 | other | Python | |
CoreIR Symbolic Analyzer | ||||||||||
Xprova | 6 | 7 years ago | mit | Java | ||||||
Formal verification engine for Verilog with built-in support for simulating flip-flop metastability |