1036 search results - page 24 / 208 » Verification Programs for Abduction |
118
click to vote
ENTCS
2008
15 years 22 days ago
2008
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
104
click to vote
LPAR
2010
Springer
14 years 10 months ago
2010
Springer
Traditionally, the full verification of a program's functional correctness has been obtained with pen and paper or with interactive proof assistants, whereas only reduced ver...
CADE
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...
201
click to vote
POPL
2007
ACM
16 years 1 months ago
2007
ACM
This paper contributes to the development of techniques for the modular proof of programs that include concurrent algorithms. We present a proof of a non-blocking concurrent algor...
78
Voted
IFIP
2009
Springer
15 years 7 months ago
2009
Springer