Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.

Kartik Nagar Prasita Mukherjee Suresh Jagannathan

Published in: CoRR (2020)

Keyphrases

formal methods
asynchronous circuits
management system
high level
digital libraries
computer systems
multimedia
distributed systems
logic programming
conceptual model
formal verification
conceptual schema