410 search results - page 7 / 82 » Tools for System Validation with B Abstract Machines |
104
click to vote
ICRE
1998
IEEE
15 years 3 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
79
Voted
FDL
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract. The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-e...
100
click to vote
ASM
2008
ASM
15 years 1 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
88
Voted
LCTRTS
2000
Springer
15 years 3 months ago
2000
Springer
This paper presents a general approach to automatically validate code-improving transformations on low-level program representations. The approach ensures the correctness of compi...
SEKE
2009
Springer
15 years 6 months ago
2009
Springer
Code review is often suggested as a means of improving code quality. Since humans are poor at repetitive tasks, some form of tool support is valuable. To that end we developed a p...