8 search results - page 1 / 2 » Model-checking Distributed Components: The Vercors Platform |
ENTCS
2007
13 years 4 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
RTS
2006
13 years 4 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
ICTAC
2010
Springer
13 years 3 months ago
2010
Springer
Flash memory has become a virtually indispensable component for mobile devices in today’s information society. However, conventional testing methods often fail to detect hidden b...
EMSOFT
2005
Springer
13 years 10 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
ICFP
2007
ACM
14 years 4 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...