1980 search results - page 142 / 396 » Compositional Model Checking of Real Time Systems |
102
click to vote
FAC
2008
15 years 1 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
139
click to vote
ISI
2008
Springer
15 years 1 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
114
Voted
TACAS
2009
Springer
15 years 8 months ago
2009
Springer
Reference counting is a widely-used resource management idiom which maintains a count of references to each resource by incrementing the count upon an acquisition, and decrementing...
156
Voted
DLT
2009
14 years 11 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
