Abstract | ||
---|---|---|
We present an automatable approach to verify that a system satisfies its requirements by verification of the program that controls the system. The approach can be applied if the interaction of the program with the system hardware can be faithfully described by a table relating domain phenomena and program variables. We show the applicability of the approach with a case study based on a real-world system. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-21437-0_5 | FM |
Keywords | Field | DocType |
real-world system,domain phenomenon,automatable approach,system hardware,program variable,program verification,system verification,case study | Functional verification,Programming language,Intelligent verification,Computer science,Runtime verification,Real-time computing,Verification,Program analysis,System requirements,High-level verification,Software verification | Conference |
Citations | PageRank | References |
1 | 0.37 | 17 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel Dietsch | 1 | 80 | 13.53 |
Bernd Westphal | 2 | 43 | 8.45 |
Andreas Podelski | 3 | 2760 | 197.87 |