civl

The Concurrency Intermediate Verification Language
https://vsl.cis.udel.edu/civl/

Current versions
1.7-3157

Revision: 1

civl requires the following formula to be installed:
z3 4.6.0_1 High-performance theorem prover

Recent formula history

ilovezfs civl: use assert_predicate instead of File.exist?
Dominyk Tiller civl: drop unnecessary ENV
ilovezfs civl: use https for homepage and stable url
Mike McQuaid Use hash rockets again. (#5177)
Mike McQuaid Use Ruby 1.9+ symbol hash keys in all formulae. (#4942)

Formula code at GitHub