Login / Signup
Semantics, Specification, and Bounded Verification of Concurrent Libraries in Replicated Systems.
Kartik Nagar
Prasita Mukherjee
Suresh Jagannathan
Published in:
CAV (1) (2020)
Keyphrases
</>
formal methods
formal specification
process algebra
model checking
formal languages
expert systems
management system
distributed systems
fault tolerant
asynchronous circuits
concurrent programs
web services
formal semantics
dynamic constraints
rewrite systems
automated verification