862 search results - page 81 / 173 » Model Checking Interrupt-Dependent Software |
93
Voted
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
111
click to vote
SPIN
2009
Springer
15 years 6 months ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
195
click to vote
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a proba...
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...