Hochschulschrift
Automatic generation of specifications using verification tools
- Alternative title
-
Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
Darmstadt, Technische Universität Darmstadt, Dissertation, 2016
- Event
-
Veröffentlichung
- (where)
-
Darmstadt
- (who)
-
Universitäts- und Landesbibliothek Darmstadt
- (when)
-
2016
- Creator
-
Wasser, Nathan Daniel
- Contributor
-
Hähnle, Reiner
Kovács, Laura
- URN
-
urn:nbn:de:tuda-tuprints-59109
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 11:00 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.
Object type
- Hochschulschrift
Associated
- Wasser, Nathan Daniel
- Hähnle, Reiner
- Kovács, Laura
- Universitäts- und Landesbibliothek Darmstadt
Time of origin
- 2016
Other Objects (12)
Automatic generation of specifications using verification tools : = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Analogy in verification of state-based specifications
Automated verification of system requirements and software specifications
Automatic detection of contradictions in requirements specifications
Formal verification of OIL component specifications using mCRL2
Automatic signature verification using segmentation
Algebraic specifications in an integrated software development and verification system
Automatic glossary term extraction from large-scale requirements specifications
Tool and Interactivity Detection for Automatic Assembly Instruction Generation
Automatic generation of specifications using verification tools : = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Analogy in verification of state-based specifications
Automated verification of system requirements and software specifications
Automatic detection of contradictions in requirements specifications
Formal verification of OIL component specifications using mCRL2
Automatic signature verification using segmentation
Algebraic specifications in an integrated software development and verification system
Automatic glossary term extraction from large-scale requirements specifications
Tool and Interactivity Detection for Automatic Assembly Instruction Generation
Automatic generation of specifications using verification tools : = Automatische Spezifikationserzeugung mit Hilfe von Verifikationswerkzeugen
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Slicing integrated formal specifications for verification
Analogy in verification of state-based specifications
Automated verification of system requirements and software specifications
Automatic detection of contradictions in requirements specifications
Formal verification of OIL component specifications using mCRL2
Automatic signature verification using segmentation
Algebraic specifications in an integrated software development and verification system
Automatic glossary term extraction from large-scale requirements specifications