VerC3: A Library for Explicit State Synthesis of Concurrent Systems (2018)

First Author: Elver M
Attributed to:  C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://www.date-conference.com/date-proceedings

Type: Conference/Paper/Proceeding/Abstract