1356 search results - page 124 / 272 » The ideal of verified software |
143
click to vote
CCS
2005
ACM
15 years 12 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...
159
click to vote
EMSOFT
2005
Springer
15 years 12 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
162
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The paper presents methods for model checking a class of possibly infinite state concurrent programs using various types of bi-simulation reductions. The proposed method...
143
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
185
click to vote
APLAS
2004
ACM
15 years 12 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...