works on
asynchronous automata 1connected communication 1distributed synthesis 1metric interval temporal logic 1region abstraction 1satisfiability 1state complexity 1symbolic verification 1temporal obligations 1zielonka construction 1

From the 2 of 8 linked papers with an AI index.

activity
20242026
collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2026

Verifying Sequential Consistency under Bounded Preemptions

R. Govind, S. Krishna, Sanchari Sil +1

Gibbons and Korach studied a fundamental problem in 1997: given an observed sequence of reads and writes of a multi-threaded program, does there exist an interleaving which is sequ…