3256 search results - page 94 / 652 » Applications of Formal Methods to System Design and Verifica... |
137
click to vote
IFM
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
156
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
147
click to vote
ENTCS
2008
15 years 4 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
149
click to vote
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
135
click to vote
DAGSTUHL
2004
15 years 5 months ago
2004
Complexity is the core problem of contemporary information technology, as the "artificial complicatedness" of its artefacts is exploding. Intellectually easy and economic...