Hochschulschrift
Verification of programmable logic controller code using model checking and static analysis
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783844047110
3844047115
- Dimensions
-
21 cm, 248 g
- Extent
-
X, 153 Seiten
- Language
-
Englisch
- Notes
-
Illustrationen
RWTH Aachen University, Dissertation, 2016
- Bibliographic citation
-
Aachener Informatik-Berichte ; 2016,07
- Classification
-
Elektrotechnik, Elektronik
- Keyword
-
Speicherprogrammierte Steuerung
Programmverifikation
Model Checking
Statische Analyse
Bug
Debugging
Abstraktionsebene
Verfeinerung
Spezifikationstechnik
Formale Methode
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Shaker Verlag
- (when)
-
2016
- Creator
- Contributor
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:54 PM 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
- Biallas, Sebastian
- Shaker Verlag
- Shaker Verlag
Time of origin
- 2016
Other Objects (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