16 search results - page 2 / 4 » Model Checking of Control-User Component-Based Parametrised ... |
120
Voted
ECAI
2008
Springer
15 years 4 months ago
2008
Springer
Abstract-- Autonomous robots are complex systems that require the interaction/cooperation of numerous heterogeneous software components. Nowadays, robots are critical systems and m...
144
Voted
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems ...
145
Voted
ICLP
2004
Springer
15 years 8 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
137
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We describe mcmt, a fully declarative and deductive symbolic model checker for safety properties of infinite state systems whose state variables are arrays. Theories spec...
119
Voted
CBSE
2006
Springer
15 years 6 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...