search

gleiss / rapid

Software Verification tool, which uses superposition-based theorem proving to establish the functional correctness of array- and hyper-properties.
3 stars 6 forks source link

Lemma #26

Closed mina1604 closed 4 years ago

mina1604 commented 4 years ago

Value evolution made stronger!