4693 search results - page 53 / 939 » Verifying Hybrid Systems |
102
click to vote
HOTOS
2007
IEEE
15 years 4 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
87
Voted
FORTE
1990
15 years 1 months ago
1990
This paper describes a decision procedure for bisimulation-based equivalence relations between labeled transition systems. The algorithm usually performed in order to verify bisim...
119
Voted
HICSS
2000
IEEE
15 years 5 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
109
click to vote
ESOP
2007
Springer
15 years 4 months ago
2007
Springer
Non-interference is a semantical condition on programs that guarantees the absence of illicit information flow throughout their execution, and that can be enforced by appropriate i...
103
click to vote
ESOP
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. In this article, we present a model and a denotational semantics for hybrid systems. Our model is designed to be used for the verification of large, existing embedded app...