3765 search results - page 590 / 753 » Formal Methods for Systems Engineering Behavior Models |
164
click to vote
ENTCS
2007
15 years 6 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
171
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
191
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract. We describe how the PVS verification system has been used to verify a safety property of a garbage collection algorithm, originally suggested by Ben-Ari. The safety prope...
209
click to vote
DT
2006
15 years 6 months ago
2006
The widely used engineering decisions concerning the performance of technological equipment for process industries are usually deterministic. Since the early 1990s probabilistic m...
155
click to vote
EMSOFT
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...