Software Open Access
C4: Verified Transactional Objects
Mohsen Lesani;
Li-yao Xia;
Anders Kaseorg;
Christian J. Bell;
Adam Chlipala;
Benjamin C. Pierce;
Steve Zdancewic
GeoJSON Export
{
"type": "FeatureCollection",
"features": []
}
49
5
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 49 | 49 |
| Downloads | 5 | 5 |
| Data volume | 1.5 MB | 1.5 MB |
| Unique views | 37 | 37 |
| Unique downloads | 5 | 5 |
Indexed in
- Publication date:
- March 10, 2022
- DOI:
-
- Keyword(s):
- coq concurrency library formal verification
- License (for files):
- Creative Commons Attribution 4.0 International