search

paradise-fi / SymDIVINE

No longer maintained: Verification tool for parallel C/C++ programs with LTL support
MIT License
6 stars 2 forks source link

Partial store #9

Closed yaqwsx closed 8 years ago

yaqwsx commented 8 years ago

Add support for dependency-based caching by providing new multi-state representation (SMT Partial Store)