civl
Is this concurrent program correct?
loading...
'►' shortcut: Alt+B
about Civl - Concurrent Intermediate Verification Language
Civl is a an extension to the Boogie intermediate verification language, intended for reasoning about concurrency.
Contact Us| Privacy & Cookies | Terms of Use | Trademarks| © 2018 Microsoft