617 search results - page 13 / 124 » Using Formal Methods in a Retrospective Safety Case |
134
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Automaton-based static program analysis has proved to be an effective tool for bug finding. Current tools generally re-analyze a program from scratch in response to a change in t...
125
click to vote
UML
2005
Springer
15 years 8 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...
132
click to vote
ISOLA
2007
Springer
15 years 9 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
152
click to vote
FM
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
140
Voted
RTAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...