410 search results - page 54 / 82 » Tools for System Validation with B Abstract Machines |
166
Voted
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
When integrating dierent system components, the interaction between dierent features is often error prone. Typically errors occur on interruption, concurrency or disabling/ enabli...
119
Voted
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
158
click to vote
ISCA
2002
IEEE
15 years 8 months ago
2002
IEEE
We develop an availability solution, called SafetyNet, that uses a unified, lightweight checkpoint/recovery mechanism to support multiple long-latency fault detection schemes. At...
151
Voted
CONCUR
1999
Springer
15 years 8 months ago
1999
Springer
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
152
click to vote
ECTEL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. This paper presents a system that connects students with complementary profiles, so they can interchange knowledge and help each other. The profile of the students is bui...