volodeyka/trust-coq

Formalization of the Truly Stateless Concurrency Model Checker in Coq

Coq