Hochschulschrift
Computer verification of algorithms using a formal proof system
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783866244832
- Maße
-
25 cm
- Umfang
-
VIII, 198 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Englisch
- Anmerkungen
-
Zugl.: Darmstadt, Techn. Univ., Diss., 2009
- Erschienen in
-
Dissertation.de ; 1583
- Schlagwort
-
Verifikation
Formale Spezifikationstechnik
HOL
Formale Semantik
Beweissystem
Public-Key-Kryptosystem
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:10 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.
Objekttyp
- Hochschulschrift
Beteiligte
- Kaiser, Markus
- dissertation.de
Entstanden
- 2010
Ähnliche Objekte (12)
Applications of property based synthesis in formal verification
Property verification of mixed data and control intensive designs
Versicherungsbetrug aus vertragstheoretischer Sicht und Aspekte von "Costly-State-Verification"-Modellen
Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen
Vincenzo Foppa, Bd 1.. Text
Vincenzo Foppa, Bd. 2.. Katalog und Bibliographie
Charakterisierung und Anwendung der LILBID-Laserdesorptions-Massenspektrometrie
Produktivitätsfortschritte in der Landwirtschaft durch biologisch-technischen Fortschritt
ESyNN - ein Neuronenmodell zur effizienten Simulation von Korrelation in neuronalen Netzen
Coarse-grained models for the kinetics of polymeric systems : vergröberte Modelle zur Beschreibung der Kinetik von Polymersystemen
Wirbelsäulendegeneration und Muskelschwäche : eine Studie zur Spondylolisthesis und zu myopathologischen Befunden des Musculus erector spinae
Nachhaltige Stadtentwicklung : Beitrag eines Leitbildes zur Verbesserung der Lebensqualität dargestellt an Fallbeispielen ; Großwohnsiedlungen in Izmir und Hamburg
Applications of property based synthesis in formal verification
Property verification of mixed data and control intensive designs
Versicherungsbetrug aus vertragstheoretischer Sicht und Aspekte von "Costly-State-Verification"-Modellen
Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen
Vincenzo Foppa, Bd 1.. Text
Vincenzo Foppa, Bd. 2.. Katalog und Bibliographie
Charakterisierung und Anwendung der LILBID-Laserdesorptions-Massenspektrometrie
Produktivitätsfortschritte in der Landwirtschaft durch biologisch-technischen Fortschritt
ESyNN - ein Neuronenmodell zur effizienten Simulation von Korrelation in neuronalen Netzen
Coarse-grained models for the kinetics of polymeric systems : vergröberte Modelle zur Beschreibung der Kinetik von Polymersystemen
Wirbelsäulendegeneration und Muskelschwäche : eine Studie zur Spondylolisthesis und zu myopathologischen Befunden des Musculus erector spinae
Nachhaltige Stadtentwicklung : Beitrag eines Leitbildes zur Verbesserung der Lebensqualität dargestellt an Fallbeispielen ; Großwohnsiedlungen in Izmir und Hamburg
Applications of property based synthesis in formal verification
Property verification of mixed data and control intensive designs
Versicherungsbetrug aus vertragstheoretischer Sicht und Aspekte von "Costly-State-Verification"-Modellen
Eigenschaftsbasierte Abstraktion für die formale Verifikation von Komponentensystemen
Vincenzo Foppa, Bd 1.. Text
Vincenzo Foppa, Bd. 2.. Katalog und Bibliographie
Charakterisierung und Anwendung der LILBID-Laserdesorptions-Massenspektrometrie
Produktivitätsfortschritte in der Landwirtschaft durch biologisch-technischen Fortschritt
ESyNN - ein Neuronenmodell zur effizienten Simulation von Korrelation in neuronalen Netzen
Coarse-grained models for the kinetics of polymeric systems : vergröberte Modelle zur Beschreibung der Kinetik von Polymersystemen
Wirbelsäulendegeneration und Muskelschwäche : eine Studie zur Spondylolisthesis und zu myopathologischen Befunden des Musculus erector spinae