K
k-induction
Projects with this topic
-
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast
Archived 0Updated
Simple interpreter and symbolic executor designed for fast prototyping of symbolic execution algorithms. MOVED to https://gitlab.com/mchalupa/slowbeast