gleiss/rapid gleiss/rapid

  • Stars
    star
    3
  • Rank 3,952,093 (Top 79 %)
  • Language
    C++
  • Created about 6 years ago
  • Updated about 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gleiss/rapid
github

gleiss

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.

More Repositories

1

saturation-visualization

A visualization tool, which enables an efficient and interactive analysis of Vampire proof attempts.
TypeScript
6
star