Pinned Repositories
leap
A theorem prover for the temporal parametrized verification of concurrent data types
alesanz's Repositories
alesanz doesn’t have any repository yet.
A theorem prover for the temporal parametrized verification of concurrent data types
alesanz doesn’t have any repository yet.