1054 search results - page 25 / 211 » From a Verified Kernel towards Verified Systems |
170
click to vote
EUROPAR
2006
Springer
15 years 9 months ago
2006
Springer
Multi-resolution validation of hierarchical performance models of scientific applications is critical primarily for two reasons. First, the step-by-step validation determines the c...
161
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
178
click to vote
EEE
2005
IEEE
15 years 11 months ago
2005
IEEE
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...
153
click to vote
ACSAC
2007
IEEE
15 years 10 months ago
2007
IEEE
A protection profile for high-robustness separation kernels has recently been validated and several implementations are under development. However, medium-robustness separation ke...
157
click to vote
DSRT
2008
IEEE
16 years 16 days ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...