1163 search results - page 135 / 233 » Case Studies of Model Checking for Embedded System Designs |
129
click to vote
CODES
2010
IEEE
15 years 2 months ago
2010
IEEE
The Ptolemy project studies modeling, simulation, and design of concurrent, real-time, embedded systems. The focus is on assembly of concurrent components. The key underlying prin...
163
click to vote
JACM
2002
15 years 4 months ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
126
click to vote
WOTUG
2007
15 years 5 months ago
2007
Abstract. A fine-grained massively-parallel process-oriented model of platelets (potentially artificial) within a blood vessel is presented. This is a CSP inspired design, expres...
174
click to vote
TACAS
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present a compositional verification technique for systems that exhibit both probabilistic and nondeterministic behaviour. We adopt an assume-guarantee approach to ver...
136
click to vote
SAFECOMP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. To ensure the consistency of database subsystems involved in communication systems (e.g., telephone systems), appropriate scheduled maintenance policies are necessary. Au...