453 search results - page 48 / 91 » Using Symbolic Simulation for Bounded Property Checking |
107
click to vote
DC
2010
14 years 12 months ago
2010
Model checking software transactional memories (STMs) is difficult because of the unbounded number, length, and delay of concurrent transactions and the unbounded size of the memo...
101
click to vote
DAC
2008
ACM
16 years 23 days ago
2008
ACM
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
116
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
We consider security properties of cryptographic protocols that can be modeled using the notion of trace equivalence. The notion of equivalence is crucial when specifying privacy-...
141
click to vote
JSC
2010
14 years 6 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
117
click to vote
FORMATS
2006
Springer
15 years 3 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...