Search Sciweavers | Sciweavers

This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...

Jim Grundy, Thomas F. Melham, John W. O'Leary

claim paper

Read More »

124

click to vote

DT
2007

98views more DT 2007»

Combining Theorem Proving with Model Checking through Predicate Abstraction

15 years 5 months ago

Download www.cs.utexas.edu

Sandip Ray, Rob Sumners

claim paper

Read More »

137

click to vote

AICOM
2005

51views more AICOM 2005»

The IJCAR-2004 Automated Theorem Proving Competition

15 years 5 months ago

Download www.cs.miami.edu

Geoff Sutcliffe

claim paper

Read More »

107

click to vote

JAR
2007

57views more JAR 2007»

Special Issue on User Interfaces in Theorem Proving: Preface

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers