| zurück zu den Publikationen |
| Ihre Anfrage lieferte 54 Ergebnisse. |
| Baumann, Christoph |
 |
|
BibTeX |
| Formal Specification of the x87 Floating-Point Instruction Set. |
|
| Diplomarbeit, Saarland University, 2008. |
| |
| Schmaltz, Sabine (formerly Fischer) |
|
|
BibTeX |
| Formal Verification of a Big Integer Library Including Division. |
|
| Masterarbeit, Saarland University, 2007. |
| |
| Petrova, Elena |
|
|
BibTeX |
| Verification of the C0 Compiler Implementation on the Source Code Level. |
|
| Dissertation, Saarland University, Saarbrücken, 2007. |
| |
| Starostin, Artem |
|
|
BibTeX |
| Formal Verification of a C-Library for Strings. |
|
| Diplomarbeit, Saarland University, 2006. |
| |
| Shadrin, Andrey |
|
|
BibTeX |
| Design and Implementation of the Portmapper and RPC Primitives in the Context of the SOS. |
|
| Diplomarbeit, Saarland University, 2006. |
| |
| Schmaltz, Sabine (formerly Fischer) |
|
|
BibTeX |
| Formal Verification of a Big Integer Library Written in C0. |
| 2006. |
| |
| Dalinger, Iakov |
|
|
BibTeX |
| Formal Verification of a Processor with Memory Management Units. |
|
| Dissertation, Saarland University, Saarbrücken, 2006. |
| |
| Beyer, Sven |
|
|
BibTeX |
| Putting it all together - Formal Verification of the VAMP. |
|
| Dissertation, Saarland University, Saarbrücken, 2005. |
| |
| Hillebrand, Mark |
|
|
BibTeX |
| Address Spaces and Virtual Memory: Specification, Implementation, and Correctness. |
|
| Dissertation, Saarland University, Saarbrücken, 2005. |
| |
| Preiß, Jochen |
|
|
BibTeX |
| Complexity and Correctness of a Super-Pipelined Processor. |
|
| Dissertation, Saarland University, Saarbrücken, 2005. |
| |
