136 search results - page 9 / 28 » From Safety Verification to Safety Testing |
CADE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...
177
click to vote
POPL
2003
ACM
15 years 9 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
107
click to vote
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
—In this case study we test a landing gear control system of a military aircraft with the new version of LUTESS, a tool for testing automatically synchronous software. LUTESS req...
84
Voted
FM
2008
Springer
14 years 11 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
63
Voted
INFORMATICALT
2008
14 years 9 months ago
2008
A transitive distributed knowledge logic is considered. The considered logic S4nD is obtained from multi-modal logic S4n by adding transitive distributed knowledge operator. For a ...