9 citations · 23 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2018
Modeling a Cache Coherence Protocol with the Guarded Action Language
Quentin L. Meunier, Yann Thierry-Mieg, Emmanuelle Encrenaz
We present a formal model built for verification of the hardware Tera-Scale ARchitecture (TSAR), focusing on its Distributed Hybrid Cache Coherence Protocol (DHCCP). This protocol…
cs.LO2011★ 5 cited
Combining Explicit and Symbolic Approaches for Better On-the-Fly LTL Model Checking
Alexandre Duret-Lutz, Kais Klai, Denis Poitrenaud +1
We present two new hybrid techniques that replace the synchronized product used in the automata-theoretic approach for LTL model checking. The proposed products are explicit graphs…