Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
Kaiserslautern
- (who)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (when)
-
1999
- Contributor
- URN
-
urn:nbn:de:hbz:386-kluedo-2256
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
- 15.08.2025, 7:20 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kerber, Manfred
- Huang, Xiaorong
- Kohlhase, Michael
- Nesmith, Dan
- Richts, Jörn
- Technische Universität Kaiserslautern, Fachbereich Informatik
Time of origin
- 1999
Other Objects (12)
TOrPEDO: witnessing model correctness with topological proofs
Clausal proofs for pseudo-boolean reasoning
Contributions to mechanical proofs of correctness for compiler front ends
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Reasoning Continuously: A Formal Construction of Continuous Proofs
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Encoding induction in correctness proofs of program transformations as a termination problem
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Reasoning about orchestrations of web services using partial correctness
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
Political Correctness
Would God Really Send Me to Hell for Stealing a Wispa Bar?
TOrPEDO: witnessing model correctness with topological proofs
Clausal proofs for pseudo-boolean reasoning
Contributions to mechanical proofs of correctness for compiler front ends
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Reasoning Continuously: A Formal Construction of Continuous Proofs
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Encoding induction in correctness proofs of program transformations as a termination problem
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Reasoning about orchestrations of web services using partial correctness
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
Political Correctness
Would God Really Send Me to Hell for Stealing a Wispa Bar?
TOrPEDO: witnessing model correctness with topological proofs
Clausal proofs for pseudo-boolean reasoning
Contributions to mechanical proofs of correctness for compiler front ends
Correctness proofs and probabilistic tests for constructive specifications and functional programs
Reasoning Continuously: A Formal Construction of Continuous Proofs
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Encoding induction in correctness proofs of program transformations as a termination problem
Scalable error isolation for distributed systems: modeling, correctness proofs, and additional experiments
Reasoning about orchestrations of web services using partial correctness
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
Political Correctness