48 citations · 192 across the 38 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016
Approximate Partial Order Reduction
Chuchu Fan, Zhenqi Huang, Sayan Mitra
We present a new partial order reduction method for reachability analysis of nondeterministic labeled transition systems over metric spaces. Nondeterminism arises from both the cho…
cs.LO2015★ 1 cited
Model Checking Tap Withdrawal in C. Elegans
Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan +3
We present what we believe to be the first formal verification of a biologically realistic (nonlinear ODE) model of a neural circuit in a multicellular organism: Tap Withdrawal (TW…