Sciweavers

16 search results - page 1 / 4

» cade 2002

32

CADE
2002
Springer

136views Logical Reasoning» more CADE 2002»

Temporal Logic for Proof-Carrying Code

14 years 11 months ago

Temporal Logic for Proof-Carrying Code

Download www.cs.cmu.edu

Andrew Bernard, Peter Lee

claim paper

Read More »

25

CADE
2002
Springer

144views Logical Reasoning» more CADE 2002»

System Description: GrAnDe 1.0

14 years 11 months ago

System Description: GrAnDe 1.0

Download www.cs.miami.edu

Stephan Schulz, Geoff Sutcliffe

claim paper

Read More »

31

CADE
2002
Springer

141views Logical Reasoning» more CADE 2002»

HyLoRes 1.0: Direct Resolution for Hybrid Logics

14 years 11 months ago

HyLoRes 1.0: Direct Resolution for Hybrid Logics

Download hylo.loria.fr

Carlos Areces, Juan Heguiabehere

claim paper

Read More »

21

CADE
2002
Springer

142views Logical Reasoning» more CADE 2002»

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description

14 years 11 months ago

AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description

Download eprints.ecs.soton.ac.uk

Bernd Fischer 0002, Johann Schumann, Michael W. Wh...

claim paper

Read More »

31

CADE
2002
Springer

147views Logical Reasoning» more CADE 2002»

Formal Verification of a Java Compiler in Isabelle

14 years 11 months ago

Formal Verification of a Java Compiler in Isabelle

Download www.irit.fr

This paper reports on the formal proof of correctness of a compiler from a substantial subset of Java source language to Java bytecode in the proof environment Isabelle. This work ...

Martin Strecker

claim paper

Read More »

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