44 search results - page 2 / 9 » Component Verification with Automatically Generated Assumpti... |
AMAST
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...
ATVA
2006
Springer
13 years 9 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
ISBI
2011
IEEE
12 years 9 months ago
2011
IEEE
Studying image intensity change in each pixel in dynamic contrast enhanced (DCE)-MRI data enables differentiation of different tissue types based on their difference in contrast u...
FASE
2011
Springer
12 years 9 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
ENTCS
2006
13 years 5 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...