Login / Signup
Optimal Stateless Model Checking for Causal Consistency.
Parosh Aziz Abdulla
Mohamed Faouzi Atig
Shankara Narayanan Krishna
Ashutosh Gupta
Omkar Tuppe
Published in:
TACAS (1) (2023)
Keyphrases
</>
model checking
temporal logic
model checker
formal specification
formal verification
temporal properties
finite state
automated verification
verification method
bounded model checking
computation tree logic
symbolic model checking
finite state machines
process algebra
partial order reduction
dynamic programming
transition systems
epistemic logic
formal methods
timed automata
reactive systems
asynchronous circuits
linear temporal logic
abstract interpretation
causal models
concurrent systems
planning domains
optimal solution