JKind
From MaRDI portal
Software:32842
Author name not available (Why is that?)
Source code repository: https://github.com/agacek/jkind/
Related Items (2)
Infinite-state invariant checking with IC3 and predicate abstraction ⋮ Progress in certifying hardware model checking results
This page was built for software: JKind
