Sciweavers

18 search results - page 1 / 4

» tphol 2005

8

TPHOL
2005
IEEE

79views Automated Reasoning» more TPHOL 2005»

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

13 years 10 months ago

Formal Modeling of a Slicing Algorithm for Java Event Spaces in PVS

Download www.cs.york.ac.uk

Néstor Cataño

claim paper

Read More »

10

TPHOL
2005
IEEE

84views Automated Reasoning» more TPHOL 2005»

Essential Incompleteness of Arithmetic Verified by Coq

13 years 10 months ago

Essential Incompleteness of Arithmetic Verified by Coq

Download www.win.tue.nl

Russell O'Connor

claim paper

Read More »

10

TPHOL
2005
IEEE

92views Automated Reasoning» more TPHOL 2005»

Proving Bounds for Real Linear Programs in Isabelle/HOL

13 years 10 months ago

Proving Bounds for Real Linear Programs in Isabelle/HOL

Download types2004.lri.fr

Steven Obua

claim paper

Read More »

12

TPHOL
2005
IEEE

103views Automated Reasoning» more TPHOL 2005»

Extensionality in the Calculus of Constructions

13 years 10 months ago

Extensionality in the Calculus of Constructions

Download www.lri.fr

Nicolas Oury

claim paper

Read More »

9

TPHOL
2005
IEEE

100views Automated Reasoning» more TPHOL 2005»

Meta Reasoning in ACL2

13 years 10 months ago

Meta Reasoning in ACL2

Download userweb.cs.utexas.edu

Warren A. Hunt Jr., Matt Kaufmann, Robert Bellarmi...

claim paper

Read More »

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