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