Search Sciweavers | Sciweavers

1411 search results - page 10 / 283

» Interactive Coding for Interactive Proofs

138

click to vote

ARTS
1999
Springer

221views Distributed And Parallel Com...» more ARTS 1999»

Proof Assistance for Real-Time Systems Using an Interactive Theorem Prover

15 years 8 months ago

Download people.nas.nasa.gov

This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...

Paul Z. Kolano

claim paper

Read More »

108

click to vote

ICS
2010
Tsinghua U.

129views Distributed And Parallel Com...» more ICS 2010»

Interactive Proofs For Quantum Computations

16 years 1 months ago

Download www.cs.huji.ac.il

Dorit Aharonov, Michael Ben-Or, Elad Eban

claim paper

Read More »

click to vote

MKM
2007
Springer

83views Information Technology» more MKM 2007»

A Framework for Interactive Proof

15 years 10 months ago

Download www.informatik.uni-bremen.de

David Aspinall, Christoph Lüth, Daniel Winter...

claim paper

Read More »

116

click to vote

MKM
2005
Springer

105views Information Technology» more MKM 2005»

An Interactive Algebra Course with Formalised Proofs and Definitions

15 years 10 months ago

Download www.cs.ru.nl

Andrea Asperti, Herman Geuvers, Iris Loeb, Lionel ...

claim paper

Read More »

103

click to vote

TPHOL
2003
IEEE

114views Automated Reasoning» more TPHOL 2003»

Click'n Prove: Interactive Proofs within Set Theory

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers