131 search results - page 2 / 27 » Abstract Counterexamples for Non-disjunctive Abstractions |
QEST
2010
IEEE
13 years 2 months ago
2010
IEEE
Discrete-Time Markov Chains (DTMCs) are a widely-used formalism to model probabilistic systems. On the one hand, available tools like PRISM or MRMC offer efficient model checking a...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
nd Counterexample-Based Abstraction Niklas Een, Alan Mishchenko EECS Department, University of California Berkeley, USA. Nina Amla Cadence Research Laboratroy Berkeley, USA. This p...
CAV
2000
Springer
13 years 8 months ago
2000
Springer
xample-Guided Abstraction Refinement for Symbolic Model Checking EDMUND CLARKE YUAN LU Carnegie Mellon University, Pittsburgh, Pennsylvania Broadcom Co., San Jose, California ORNA ...
ATVA
2007
Springer
13 years 10 months ago
2007
Springer
SIGSOFT
2004
ACM
13 years 10 months ago
2004
ACM
