Sciweavers

1036 search results - page 16 / 208

» Verification Programs for Abduction

127

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

15 years 10 months ago

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

Download www-verimag.imag.fr

Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier

claim paper

Read More »

133

PLDI
2010
ACM

219views Programming Languages» more PLDI 2010»

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

15 years 10 months ago

Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System

Download people.csail.mit.edu

Jean Yang, Chris Hawblitzel

claim paper

Read More »

106

ESOP
2008
Springer

83views Programming Languages» more ESOP 2008»

Verification of Equivalent-Results Methods

15 years 7 months ago

Verification of Equivalent-Results Methods

Download research.microsoft.com

K. Rustan M. Leino, Peter Müller

claim paper

Read More »

89

IFIP
2010
Springer

109views Programming Languages» more IFIP 2010»

AnBx - Security Protocols Design and Verification

15 years 21 days ago

AnBx - Security Protocols Design and Verification

Download www.dsi.unive.it

Michele Bugliesi, Paolo Modesti

claim paper

Read More »

153

LISP
2002

107views more LISP 2002»

Dependent Types for Program Termination Verification

15 years 5 months ago

Dependent Types for Program Termination Verification

Download www.cs.bu.edu

Program termination verification is a challenging research subject of significant practical importance. While there is already a rich body of literature on this subject, it is sti...

Hongwei Xi

claim paper

Read More »

« Prev « First page 16 / 208 Last » Next »