Sciweavers

13 search results - page 1 / 3

» tphol 2003

13

TPHOL
2003
IEEE

88views Automated Reasoning» more TPHOL 2003»

Complete Integer Decision Procedures as Derived Rules in HOL

13 years 10 months ago

Complete Integer Decision Procedures as Derived Rules in HOL

Download nicta.com.au

Michael Norrish

claim paper

Read More »

12

TPHOL
2003
IEEE

68views Automated Reasoning» more TPHOL 2003»

Verified Bytecode Subroutines

13 years 10 months ago

Verified Bytecode Subroutines

Download www4.in.tum.de

Gerwin Klein, Martin Wildmoser

claim paper

Read More »

13

TPHOL
2003
IEEE

114views Automated Reasoning» more TPHOL 2003»

Click'n Prove: Interactive Proofs within Set Theory

13 years 10 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 »

10

TPHOL
2003
IEEE

125views Automated Reasoning» more TPHOL 2003»

Using Coq to Verify Java Card Applet Isolation Properties

13 years 10 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 »

14

TPHOL
2003
IEEE

131views Automated Reasoning» more TPHOL 2003»

Formalizing Hilbert's Grundlagen in Isabelle/Isar

13 years 10 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 »