Commit d102f0e3 authored by Heiko Becker's avatar Heiko Becker
Browse files

Prove soundness for intervalvalidator anew with correct precondition...

Prove soundness for intervalvalidator anew with correct precondition approximation assumption as in Coq Dev
parent 5e618b49
This diff is collapsed.
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment