enzet opened this issue 6 years ago · 0 comments
Add Generalized symbolic execution for model checking and testing.