Prophet Engine is a formal property checker, developed by Roman Gershman and based on the paper by [Strichman01]. Prophet does not use any advanced techniques, such as abstraction-refinement or k-induction. Nevertheless, despite being developed with simplicity in mind, Prophet is fast, because it is based on the latest SAT solving technology. In fact, the engine can be used as a good reference point for other, more complicated formal techniques.
|
Editorial
Upcoming Events
DAC 2012 at San Francisco CA - Jun 3 - 7, 2012
|
|
|
