Topic · k-induction

k-induction

Tracked open-source repos tagged k-induction, sorted by stars.

Repos

1

Total stars

517

Avg. stars

517

Share

0.00%

Topics that frequently appear alongside k-induction on the same repo.

Recent risers

Repos created in the last 90 days, tagged k-induction.

No new repos tagged with this topic in the last 90 days.

#1
esbmc ↗@esbmcC++
The efficient SMT-based context-bounded model checker (ESBMC)
★ 517+1Star change over the last 7 days

← Back to topics