Software verification: infinite state model checking and static program analysis : Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Classification
-
Informatik
- Event
-
Veröffentlichung
- (where)
-
[Wadern]
- (who)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (when)
-
[2006]
- Contributor
-
Abdulla, Parosh Aziz
Bouajjani, Ahmed
Müller-Olm, Markus
- URN
-
urn:nbn:de:0030-drops-7973
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:44 PM CET
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.
Associated
- Abdulla, Parosh Aziz
- Bouajjani, Ahmed
- Müller-Olm, Markus
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Time of origin
- [2006]
Other Objects (12)
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Verification of programmable logic controller code using model checking and static analysis
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
Liveness checking as safety checking for infinite state spaces
Using model checking for system verification
Directed model checking : 06172 abstracts collection ; Dagstuhl seminar
SPIN model checking and software verification ; proceedings
Infinite state model checking of propositional dynamic logics
Diagnostic checking in linear processes with infinite variance
Infinite state AMC-model checking for cryptographic protocols
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Verification of programmable logic controller code using model checking and static analysis
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
Liveness checking as safety checking for infinite state spaces
Using model checking for system verification
Directed model checking : 06172 abstracts collection ; Dagstuhl seminar
SPIN model checking and software verification ; proceedings
Infinite state model checking of propositional dynamic logics
Diagnostic checking in linear processes with infinite variance
Infinite state AMC-model checking for cryptographic protocols
Software verification: infinite state model checking and static program analysis : 06081 abstracts collection ; Dagstuhl seminar
Verification of programmable logic controller code using model checking and static analysis
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
Liveness checking as safety checking for infinite state spaces
Using model checking for system verification
Directed model checking : 06172 abstracts collection ; Dagstuhl seminar
SPIN model checking and software verification ; proceedings
Infinite state model checking of propositional dynamic logics
Diagnostic checking in linear processes with infinite variance