GitHub repository: vprover/rapid
Primary language: C++
Created: 2021-05-02T12:34:29Z
Description: RAPID is a software verification tool that translates programs and their safety properties into first-order-encodings of correctness in SMTLIB syntax. The first-order based encodings are passed to a first-order reasoner, particularly to Vampire's rapid-branch that has been optimized for software verification benchmarks.