Sciweavers

Share
9 search results - page 1 / 2
» A bounded statistical approach for model checking of unbound...
Sort
View
KBSE
2010
IEEE
9 years 4 months ago
A bounded statistical approach for model checking of unbounded until properties
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, H...
ICFEM
2009
Springer
10 years 14 days ago
Approximate Model Checking of PCTL Involving Unbounded Path Properties
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
Samik Basu, Arka P. Ghosh, Ru He
CAV
2005
Springer
133views Hardware» more  CAV 2005»
9 years 11 months ago
On Statistical Model Checking of Stochastic Systems
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...
Koushik Sen, Mahesh Viswanathan, Gul Agha
ASPDAC
2016
ACM
45views Hardware» more  ASPDAC 2016»
4 years 2 months ago
A complete approach to unreachable state diagnosability via property directed reachability
— In modern hardware design, substantial manual effort is required to fix a design when verification discovers a state unreachable. This paper addresses this growing pain where...
Ryan Berryhill, Andreas G. Veneris
CAV
2008
Springer
125views Hardware» more  CAV 2008»
9 years 8 months ago
A Practical Approach to Word Level Model Checking of Industrial Netlists
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
Per Bjesse
books