Program Checking with Certificates: Separating Correctness-Critical Code

FME 2003: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-540-45236-2_41 ◽

2003 ◽

pp. 758-777 ◽

Author(s):

Sabine Glesner

Keyword(s):

Program Checking

Download Full-text

Problem identification using program checking

Discrete Applied Mathematics ◽

10.1016/j.dam.2003.11.005 ◽

2004 ◽

Vol 144 (3) ◽

pp. 270-280

Author(s):

Christian S. Collberg ◽

Todd A. Proebsting

Keyword(s):

Problem Identification ◽

Program Checking

Download Full-text

Program checking

Lecture Notes in Computer Science - Foundations of Software Technology and Theoretical Computer Science ◽

10.1007/3-540-54967-6_57 ◽

1991 ◽

pp. 1-9 ◽

Author(s):

Manuel Blum

Keyword(s):

Program Checking

Download Full-text

A syntactical chart method for program checking

Cybernetics ◽

10.1007/bf01120014 ◽

1970 ◽

Vol 3 (3) ◽

pp. 81-83

Author(s):

I. V. Vel'bitskii ◽

G. A. Mikhailov ◽

E. L. Yushchenko

Keyword(s):

Program Checking

Download Full-text

Program checking

Proceedings of the 1979 SIGPLAN symposium on Compiler construction - SIGPLAN '79 ◽

10.1145/800229.806950 ◽

1979 ◽

Author(s):

Graeme Williams

Keyword(s):

Program Checking

Download Full-text

Witness-based cryptographic program checking and robust function sharing

Proceedings of the twenty-eighth annual ACM symposium on Theory of computing - STOC '96 ◽

10.1145/237814.237998 ◽

1996 ◽

Author(s):

Yair Frankel ◽

Peter Gemmell ◽

Moti Yung

Keyword(s):

Function Sharing ◽

Program Checking

Download Full-text

Witness-based cryptographic program checking and applications (an announcement)

Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing - PODC '96 ◽

10.1145/248052.248094 ◽

1996 ◽

Author(s):

Yair Frankel ◽

Peter Gemmell ◽

Moti Yung

Keyword(s):

Program Checking

Download Full-text

From algorithms to working programs: On the use of program checking in LEDA

Mathematical Foundations of Computer Science 1998 - Lecture Notes in Computer Science ◽

10.1007/bfb0055759 ◽

1998 ◽

pp. 84-93 ◽

Author(s):

Kurt Mehlhorn ◽

Stefan Näher

Keyword(s):

Program Checking

Download Full-text

Construction of Verified Compiler Front-Ends with Program-Checking

Lecture Notes in Computer Science - Perspectives of System Informatics ◽

10.1007/3-540-46562-6_43 ◽

2000 ◽

pp. 481-492 ◽

Author(s):

Andreas Heberle ◽

Thilo Gaul ◽

Wolfgang Goerigk ◽

Gerhard Goos ◽

Wolf Zimmermann

Keyword(s):

Program Checking

Download Full-text

Simplify: a theorem prover for program checking

Journal of the ACM ◽

10.1145/1066100.1066102 ◽

2005 ◽

Vol 52 (3) ◽

pp. 365-473 ◽

Author(s):

David Detlefs ◽

Greg Nelson ◽

James B. Saxe

Keyword(s):

Theorem Prover ◽

Program Checking

Download Full-text

Program checking

ACM SIGPLAN Notices ◽

10.1145/872732.806950 ◽

1979 ◽

Vol 14 (8) ◽

pp. 13-25 ◽

Author(s):

Graeme Williams

Keyword(s):

Program Checking

Download Full-text