94 search results - page 2 / 19 » Combining Formal Methods and Safety Analysis - The ForMoSA A... |
128
click to vote
DOCENG
2007
ACM
15 years 7 months ago
2007
ACM
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
107
click to vote
CAV
2007
Springer
15 years 9 months ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
152
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
We present a semantics for fault tree analysis, a technique used for the analysis of safety critical systems, in the real-time interval logic Duration Calculus with Liveness and sh...
112
Voted
WSC
2000
15 years 4 months ago
2000
Analysis of large, complex systems requires simulations of hybrid-system dynamics, i.e., dynamics which are best described by a combination of continuous-time and discrete-event m...
148
Voted
FM
2003
Springer
15 years 8 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...