69 search results - page 2 / 14 » Modular Verification of Software Components in C |
CBSE
2006
Springer
13 years 9 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
KBSE
1999
IEEE
13 years 9 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
TSE
2008
13 years 5 months ago
2008
We propose an interface specification language based on grammars for modular software model checking. In our interface specification language, component interfaces are specified a...
AOSD
2009
ACM
13 years 7 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
SMC
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...