A theorem prover for the temporal parametrized verification of concurrent data types
Primary LanguageOCamlApache License 2.0Apache-2.0