symbolic execution

Getting started with Kontrol a formal verification tool