460 search results - page 46 / 92 » Translating Software Designs for Model Checking |
WWW
2004
ACM
15 years 10 months ago
2004
ACM
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
EMSOFT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
AC
2002
Springer
14 years 9 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
This paper describes an experiment to use the Spin model checking system to support automated verification of time partitioning in the Honeywell DEOS real-time scheduling kernel. ...