JKind

MaRDI QIDQ32842swMATHFDO

Official website https://github.com/agacek/jkind/

Source code repository https://github.com/agacek/jkind/

Cited in

(5)

• Progress in certifying hardware model checking results
• Kind 2
• Tip
• CoSA
• Infinite-state invariant checking with IC3 and predicate abstraction

This page was built for software: JKind