Sciweavers

13 search results - page 1 / 3

» tphol 2003

27

TPHOL
2003
IEEE

88views Automated Reasoning» more TPHOL 2003»

Complete Integer Decision Procedures as Derived Rules in HOL

14 years 3 months ago

Complete Integer Decision Procedures as Derived Rules in HOL

Download nicta.com.au

Michael Norrish

claim paper

Read More »

22

TPHOL
2003
IEEE

68views Automated Reasoning» more TPHOL 2003»

Verified Bytecode Subroutines

14 years 3 months ago

Verified Bytecode Subroutines

Download www4.in.tum.de

Gerwin Klein, Martin Wildmoser

claim paper

Read More »

25

TPHOL
2003
IEEE

114views Automated Reasoning» more TPHOL 2003»

Click'n Prove: Interactive Proofs within Set Theory

14 years 3 months ago

Click'n Prove: Interactive Proofs within Set Theory

Download www.cse.unsw.edu.au

Jean-Raymond Abrial, Dominique Cansell

claim paper

Read More »

21

TPHOL
2003
IEEE

125views Automated Reasoning» more TPHOL 2003»

Using Coq to Verify Java Card Applet Isolation Properties

14 years 3 months ago

Using Coq to Verify Java Card Applet Isolation Properties

Download www.imamu.edu.sa

June Andronick, Boutheina Chetali, Olivier Ly

claim paper

Read More »

27

TPHOL
2003
IEEE

131views Automated Reasoning» more TPHOL 2003»

Formalizing Hilbert's Grundlagen in Isabelle/Isar

14 years 3 months ago

Formalizing Hilbert's Grundlagen in Isabelle/Isar

Download www.inf.ed.ac.uk

Laura I. Meikle, Jacques D. Fleuriot

claim paper

Read More »

« Prev « First page 1 / 3 Last » Next »