This repository is one of the successors of the oar-pdr software, v1.4.7. The python parts of that software was built on Python 2.7. This repository introduces a major revision to the python code with ...

Property-directed reachability (PDR) is a SAT/SMT-based reachability algorithm that incrementally constructs inductive invariants. After it was successfully applied to hardware model checking, several ...

This software may be subject to foreign copyright. Permission in the United States and in foreign countries, to the extent that NIST may hold copyright, to use, copy, modify, create derivative works, ...