Hochschulschrift
Verification of programmable logic controller code using model checking and static analysis
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844047110
3844047115
- Maße
-
21 cm, 248 g
- Umfang
-
X, 153 Seiten
- Sprache
-
Englisch
- Anmerkungen
-
Illustrationen
RWTH Aachen University, Dissertation, 2016
- Erschienen in
-
Aachener Informatik-Berichte ; 2016,07
- Klassifikation
-
Elektrotechnik, Elektronik
- Schlagwort
-
Speicherprogrammierte Steuerung
Programmverifikation
Model Checking
Statische Analyse
Bug
Debugging
Abstraktionsebene
Verfeinerung
Spezifikationstechnik
Formale Methode
- Ereignis
-
Veröffentlichung
- (wo)
-
Aachen
- (wer)
-
Shaker Verlag
- (wann)
-
2016
- Urheber
- Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 13:54 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
- Biallas, Sebastian
- Shaker Verlag
- Shaker Verlag
Entstanden
- 2016
Ähnliche Objekte (12)
Verification of programmable logic controller code using model checking and static analysis
Static type-checking is dead, long live static type-checking in Python!
Static Type Checking With Mypy
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Using model checking for system verification
Software verification for programmable logic controllers
Towards runtime verification of programmable networks
Software verification for programmable logic controllers
SPIN model checking and software verification ; proceedings
Software verification: infinite state model checking and static program analysis : Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
Checking Contact Tracing App Implementations with Bespoke Static Analysis
Mixed signal circuit verification using symbolic model checking techniques
Verification of programmable logic controller code using model checking and static analysis
Static type-checking is dead, long live static type-checking in Python!
Static Type Checking With Mypy
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Using model checking for system verification
Software verification for programmable logic controllers
Towards runtime verification of programmable networks
Software verification for programmable logic controllers
SPIN model checking and software verification ; proceedings
Software verification: infinite state model checking and static program analysis : Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
Checking Contact Tracing App Implementations with Bespoke Static Analysis
Mixed signal circuit verification using symbolic model checking techniques
Verification of programmable logic controller code using model checking and static analysis
Static type-checking is dead, long live static type-checking in Python!
Static Type Checking With Mypy
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Using model checking for system verification
Software verification for programmable logic controllers
Towards runtime verification of programmable networks
Software verification for programmable logic controllers
SPIN model checking and software verification ; proceedings
Software verification: infinite state model checking and static program analysis : Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
Checking Contact Tracing App Implementations with Bespoke Static Analysis