Ask
Search
My library
ORKG

ORKG Ask

Our mission is to organize scholarly knowledge and make it accessible to humans and machines.

About

About ORKG Ask
Report issue
Statistics
Contact

Legal

Terms of use
Data protection (sheet)
Imprint
Accessibility
License

Technical

We
open source
System status
Changelog
Frontend: v1.41.0
Backend: v1.13.4

We use cookies to provide a better user experience.

Data Protection

Program Extraction from Large Proof Developments

Cruz-Filipe, L.
Spitters, B.A.W.

Publication date

January 2003

Publisher

Berlin : Springer--Verlag

Abstract

Contains fulltext : 112648.pdf (preprint version ) (Closed access

Extracted data

Related items

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Learning-assisted theorem proving with millions of lemmas

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 139683.pdf (publisher's version ) (Closed access

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

Contains fulltext : 179039.pdf (preprint version ) (Closed access) ...

Needham, D.B.
Hartmann, T.

January 2012

Contains fulltext : 112087.pdf (publisher's version ) (Closed access

Automated Proof Compression by Invention of New Definitions

Clarke, E.
Voronkov, A.
Vyskocil, J.
Stanovsky, D.
Urban, J.

January 2010

Contains fulltext : 83345.pdf (publisher's version ) (Closed access

Software implementation

Aranha, D.F.
Dominguez Perez, L.J.
Mrabet, A.
Schwabe, P.

January 2016

Contains fulltext : 168765.pdf (publisher's version ) (Closed access

Formal Methods for Security?

Poll, Erik

January 2019

Contains fulltext : 207807.pdf (preprint version ) (Open Access

Proviola: A tool for proof re-animation

Tankink, C.
Geuvers, H.
McKinna, J.
Wiedijk, F.

January 2010

Contains fulltext : 84164.pdf (preprint version ) (Closed access) ...

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

Contains fulltext : 84360.pdf (publisher's version ) (Closed access

Formal Techniques for Java-Like Programs

Eisenbach, S.
Leavens, G.T.
Müller, P.
Poetzsch-Heffter, A.
Poll, E.

January 2004

Contains fulltext : 60445.pdf (publisher's version ) (Closed access

Computing the Leakage of Information-Hiding Systems

Andres, M.E.
Palamidessi, C.
Rossum, P. van
Smith, G.

January 2010

Contains fulltext : 83593.pdf (preprint version ) (Open Access

Code-Carrying Theories

Jacobs, B.P.F.
Smetsers, Sjaak
Wichers Schreur, R.J.M.

January 2007

Contains fulltext : 36000.pdf (publisher's version ) (Closed access

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Vries, M.S. de
Kim, P.S.

January 2011

Contains fulltext : 95175.pdf (publisher's version ) (Closed access

A Proof Framework for Concurrent Programs

Lensink, L.
Smetsers, S.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 103255.pdf (preprint version ) (Closed access

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Learning-assisted theorem proving with millions of lemmas

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 139683.pdf (publisher's version ) (Closed access

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

Contains fulltext : 179039.pdf (preprint version ) (Closed access) ...

Needham, D.B.
Hartmann, T.

January 2012

Contains fulltext : 112087.pdf (publisher's version ) (Closed access

Automated Proof Compression by Invention of New Definitions

Clarke, E.
Voronkov, A.
Vyskocil, J.
Stanovsky, D.
Urban, J.

January 2010

Contains fulltext : 83345.pdf (publisher's version ) (Closed access

Software implementation

Aranha, D.F.
Dominguez Perez, L.J.
Mrabet, A.
Schwabe, P.

January 2016

Contains fulltext : 168765.pdf (publisher's version ) (Closed access

Formal Methods for Security?

Poll, Erik

January 2019

Contains fulltext : 207807.pdf (preprint version ) (Open Access

Proviola: A tool for proof re-animation

Tankink, C.
Geuvers, H.
McKinna, J.
Wiedijk, F.

January 2010

Contains fulltext : 84164.pdf (preprint version ) (Closed access) ...

Het belang van software-analyse

Eekelen, M.C.J.D. van

January 2010

Contains fulltext : 84360.pdf (publisher's version ) (Closed access

Formal Techniques for Java-Like Programs

Eisenbach, S.
Leavens, G.T.
Müller, P.
Poetzsch-Heffter, A.
Poll, E.

January 2004

Contains fulltext : 60445.pdf (publisher's version ) (Closed access

Computing the Leakage of Information-Hiding Systems

Andres, M.E.
Palamidessi, C.
Rossum, P. van
Smith, G.

January 2010

Contains fulltext : 83593.pdf (preprint version ) (Open Access

Code-Carrying Theories

Jacobs, B.P.F.
Smetsers, Sjaak
Wichers Schreur, R.J.M.

January 2007

Contains fulltext : 36000.pdf (publisher's version ) (Closed access

Automated Machine-Checked Hybrid System Safety Proofs

Kaufmann, M.
Paulson, L.
Geuvers, H.
Koprowski, A.
Synek, D.
Weegen, E.E. van der

January 2010

Contains fulltext : 83344.pdf ( ) (Closed access)Scientific publicatio

Vries, M.S. de
Kim, P.S.

January 2011

Contains fulltext : 95175.pdf (publisher's version ) (Closed access

A Proof Framework for Concurrent Programs

Lensink, L.
Smetsers, S.
Eekelen, M.C.J.D. van

January 2012

Contains fulltext : 103255.pdf (preprint version ) (Closed access

Towards an interactive Mathematical Proof Language

Barendregt, H.P.

January 2003

Contains fulltext : 17282.pdf (preprint version ) (Closed access

Learning-assisted theorem proving with millions of lemmas

Kaliszyk, C.
Urban, J.

January 2015

Contains fulltext : 139683.pdf (publisher's version ) (Closed access

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

Contains fulltext : 179039.pdf (preprint version ) (Closed access) ...