1 citations · 1 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
Symmetry Reduction for the Local Mu-Calculus
Kedar S. Namjoshi, Richard J. Trefler
Model checking large networks of processes is challenging due to state explosion. In many cases, individual processes are isomorphic, but there is insufficient global symmetry to s…
cs.LO2013
Model Checking in Bits and Pieces
Kedar S. Namjoshi
Fully automated verification of concurrent programs is a difficult problem, primarily because of state explosion: the exponential growth of a program state space with the number of…