334 search results - page 25 / 67 » A parametric analysis of the state-explosion problem in mode... |
133
click to vote
DAC
2004
ACM
16 years 1 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. We propose an approach to scenario-based analysis and synthesis of real-time embedded systems. The inter-process behaviors of a system are modeled as a set of driving uni...
87
Voted
JCS
2002
15 years 14 days ago
2002
Vulnerability analysis is concerned with the problem of identifying weaknesses in computer systems that can be exploited to compromise their security. In this paper we describe a ...
133
click to vote
ICST
2009
IEEE
14 years 10 months ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
155
click to vote
IFIP
2010
Springer
14 years 7 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...