Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
Kaiserslautern
- (wer)
-
Technische Universität Kaiserslautern, Fachbereich Informatik
- (wann)
-
1999
- Beteiligte Personen und Organisationen
- URN
-
urn:nbn:de:hbz:386-kluedo-2256
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
- 15.08.2025, 07:20 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Kerber, Manfred
- Huang, Xiaorong
- Kohlhase, Michael
- Nesmith, Dan
- Richts, Jörn
- Technische Universität Kaiserslautern, Fachbereich Informatik
Entstanden
- 1999
Ähnliche Objekte (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