862 search results - page 113 / 173 » Model Checking Interrupt-Dependent Software |
110
click to vote
DBPL
2007
Springer
15 years 5 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
ICWS
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
108
click to vote
RE
2006
Springer
15 years 1 months ago
2006
Springer
Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes decla...
133
click to vote
JACM
2002
15 years 1 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
105
click to vote
ISSS
2000
IEEE
15 years 5 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...