4962 search results - page 772 / 993 » Stochastic Model Checking |
176
click to vote
SEW
2006
IEEE
16 years 8 days ago
2006
IEEE
Pseudo-exhaustive testing uses the empirical observation that, for broad classes of software, a fault is likely triggered by only a few variables interacting. The method takes adv...
175
click to vote
ASPDAC
2006
ACM
16 years 7 days ago
2006
ACM
– We propose an interconnect diagnosis scheme based on Oscillation Ring test methodology for SOC design with heterogeneous cores. The target fault models are delay faults and cro...
154
click to vote
IEEESCC
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
145
click to vote
LICS
2005
IEEE
15 years 12 months ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
148
click to vote
TPHOL
2005
IEEE
15 years 12 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...