69 search results - page 1 / 14 » Translation-Based Compositional Reasoning for Software Syste... |
FM
2003
Springer
13 years 10 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
IWFM
2000
13 years 6 months ago
2000
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
KBSE
2005
IEEE
13 years 11 months ago
2005
IEEE
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...
ATVA
2006
Springer
13 years 9 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...