1023 search results - page 29 / 205 » Model Checking: Software and Beyond |
KBSE
2002
IEEE
15 years 6 months ago
2002
IEEE
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
128
click to vote
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
143
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
167
click to vote
ASWEC
2010
IEEE
15 years 1 months ago
2010
IEEE
—A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implement...
116
click to vote
SNPD
2008
15 years 3 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...