410 search results - page 42 / 82 » Tools for System Validation with B Abstract Machines |
108
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
124
click to vote
HUC
2009
Springer
15 years 8 months ago
2009
Springer
A key prerequisite for residential energy conservation is knowing when and where energy is being spent. Unfortunately, the current generation of energy reporting devices only prov...
134
click to vote
KBSE
1998
IEEE
15 years 8 months ago
1998
IEEE
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
150
click to vote
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
This paper gives an overview of the ArchWare European Project1 . The broad scope of ArchWare is to respond to the ever-present demand for software systems that are capable of accom...
162
Voted
HASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...