1054 search results - page 3 / 211 » From a Verified Kernel towards Verified Systems |
187
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
165
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Though program verification is known and has been used for decades, the verification of a complete computer system still remains a grand challenge. Part of this challenge is the in...
152
click to vote
SIGADA
2005
Springer
16 years 2 days ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
177
click to vote
ENTCS
2008
15 years 6 months ago
2008
In model-based software development, a complete design and analysis process involves designing the system using the design language, converting it into the analysis language, and ...
149
click to vote
CSMR
2009
IEEE
16 years 1 months ago
2009
IEEE
For any non-trivial software project, architectural drift is a well-known problem. Over time, the design rules and guidelines governing the software project are no longer obeyed, ...