Verisoft Beweisen als Ingenieurwissenschaft ; Schlussbericht zum Fördervorhaben
Formal verificatin, computer aided verification, CAV, theorem proving, hardware verification, software verification
Gespeichert in:
| Weitere Verfasser: | , |
|---|---|
| Format: | UnknownFormat |
| Sprache: | ger |
| Veröffentlicht: |
Saarbrücken
Fachrichtung 6.2 Informatik, Univ. des Saarlandes
2002
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Zusammenfassung: | Formal verificatin, computer aided verification, CAV, theorem proving, hardware verification, software verification |
|---|---|
| Beschreibung: | Förderkennzeichen BMBF 01ISB06 Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden Auch als elektronische Ressource vorh |
| Beschreibung: | 32 S graph. Darst |