4 search results - page 1 / 1 » On theorem proving for program checking: historical perspect... |
PPDP
2010
Springer
13 years 2 months ago
2010
Springer
CADE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
PPDP
2007
Springer
13 years 10 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
SP
2010
IEEE
13 years 2 months ago
2010
IEEE
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...