Pinned Repositories
rapid
Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
saturation-visualization
A visualization tool, which enables an efficient and interactive analysis of Vampire proof attempts.
scripts_fol
server-vampire
A simple Python-server which wraps around Vampire.
solarsteuerung
vampire_benchmarks
vprover.github.io
vscode-rapid
VS Code Extension for writing Rapid specifications
spectre
Program verification tool that generates TPTP problems. Can be used to check loops without user-supplied invariants, or to generate invariants
vampire
The Vampire Theorem Prover
gleiss's Repositories
gleiss/saturation-visualization
A visualization tool, which enables an efficient and interactive analysis of Vampire proof attempts.
gleiss/rapid
Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
gleiss/scripts_fol
gleiss/server-vampire
A simple Python-server which wraps around Vampire.
gleiss/solarsteuerung
gleiss/vampire_benchmarks
gleiss/vprover.github.io
gleiss/vscode-rapid
VS Code Extension for writing Rapid specifications