Login / Signup
Efficient (Non-)Reachability Analysis of Counterexamples.
Rolf Drechsler
Wolfgang Günther
Burkhard Stubert
Published in:
MBMV (2004)
Keyphrases
</>
reachability analysis
cost effective
real time
computationally expensive
data sets
state space
computationally efficient
contextual information
boolean functions