453 search results - page 10 / 91 » Using Symbolic Simulation for Bounded Property Checking |
156
click to vote
DATE
2009
IEEE
16 years 17 days ago
2009
IEEE
Abstract—Addressing both standby and active power is a major challenge in developing System-on-Chip designs for batterypowered products. Powering off sections of logic or memorie...
170
click to vote
USS
2010
15 years 3 months ago
2010
Idle port scanning uses side-channel attacks to bounce scans off of a "zombie" host to stealthily scan a victim IP address and determine if a port is open or closed, or ...
154
click to vote
CHARME
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...
221
click to vote
APN
2010
Springer
15 years 10 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNA...
143
click to vote
WOLLIC
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...