Searching for authors named "Wolfgang Goerigk" – sorted by Relevance.
19 documents found, showing 1 through 10.
Next 10 →
-
Mechanical Software Verification: High Level Control Aspects from a User's Perspective
- …Mechanical Software Verication: High Level Control Aspects from a User's Perspective Wolfgang…
- Add To MetaCart
-
Reflections on Ken Thompson's Reflections on Trusting Trust (Extended Abstract)
- …Re ections on Ken Thompson's Re ections on Trusting Trust (Extended Abstract) Wolfgang Goerigk…
- Add To MetaCart
-
On Trojan Horses in Compiler Implementations
- …On Trojan Horses in Compiler Implementations Wolfgang Goerigk ? Institut fur Informatik und…
- Cited by 4 (4 self) – Add To MetaCart
-
Will Informatics be able to Justify the Construction of Large Computer Based Systems?
- …Will Informatics be able to Justify the Construction of Large Computer Based Systems? Wolfgang…
- Cited by 1 (0 self) – Add To MetaCart
-
Mechanical a-posteriori Verification of Results: A Case Study for a Safety Critical AI System
- …-posteriori Verification of Results: A Case Study for a Safety Critical AI System Roy Bartsch, Wolfgang Goerigk Christian…
- Cited by 1 (0 self) – Add To MetaCart
-
Compiler Implementation Verification and Trojan Horses (Draft)
- …Compiler Implementation Verication and Trojan Horses (Draft) 1 Wolfgang Goerigk, Hans Langmaack…
- Cited by 1 (1 self) – Add To MetaCart
-
Compiling ComLisp to Executable Machine Code: Compiler Construction
- …: Compiler Construction Wolfgang Goerigk, Ulrich Hoffmann Bericht Nr. 9812 Oktober 1998 CHRISTIAN…
- Cited by 6 (6 self) – Add To MetaCart
-
Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct
- …Rigorous Compiler Implementation Correctness: How to Prove the Real Thing Correct Wolfgang Goerigk…
- Cited by 11 (9 self) – Add To MetaCart
-
Towards Rigorous Compiler Implementation Verification
- …Towards Rigorous Compiler Implementation Verification Wolfgang Goerigk and Friedemann Simon…
- Cited by 9 (1 self) – Add To MetaCart
-
Proving Preservation of Partial Correctness with ACL2: A Mechanical Compiler Source Level Correctness Proof
- … Correctness Proof Wolfgang Goerigk Institut fur Informatik und Praktische Mathematik, Christian…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
