Tip

MaRDI QIDQ32843swMATHFDO

Official website https://github.com/niklasso/tip

Source code repository https://github.com/niklasso/tip

Cited in

(2)

• JKind
• Infinite-state invariant checking with IC3 and predicate abstraction

This page was built for software: Tip