mina1604 / rapid Goto Github PK
View Code? Open in Web Editor NEWThis project forked from gleiss/rapid
First-order software verification tool using superposition-based theorem proving to establish functional correctness of array and hyperproperties.
Home Page: https://mina1604.github.io/rapid/