10870 search results - page 220 / 2174 » Model Checking Programs |
120
click to vote
ICCAD
2008
IEEE
15 years 11 months ago
2008
IEEE
—SystemC is a system-level modeling language that offers a wide range of features to describe concurrent systems rent levels of abstraction. The SystemC standard permits simulato...
108
click to vote
CBSE
2009
Springer
15 years 8 months ago
2009
Springer
To build highly available or reliable applications out of unreliable third-party components, some software-implemented fault-tolerant mechanisms are introduced to gracefully deal w...
128
click to vote
CSFW
2007
IEEE
15 years 8 months ago
2007
IEEE
Most model checking techniques for security protocols make a number of simplifying assumptions on the protocol and/or on its execution environment that prevent their applicability...
106
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
101
click to vote
SPIN
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...