Kepler Formal is a formal verification tool for Verilog and Naja interchange format.
This project is funded by the NGI0 Commons grant(s).
This app was packaged by Ivan Mincik (@imincik).
Tracking issue: NGI Project: Kepler Formal · Issue #176 · ngi-nix/projects · GitHub
Try it out
Visit the application and launch Kepler Formal in a shell environment.
Share your feedback
Please leave your feedback using this short survey.
Alternatively, join the office hours on Jitsi every Tuesday and Thursday from 15:00–16:00 CET/CEST and the NGIpkgs Matrix channel for any further comments or questions.