Software verification: infinite state model checking and static program analysis : Dagstuhl seminar 06081 ; Februar 19 - 24, 2006
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Klassifikation
-
Informatik
- Ereignis
-
Veröffentlichung
- (wo)
-
[Wadern]
- (wer)
-
[Internat. Begegnungs- und Forschungszentrum für Informatik]
- (wann)
-
[2006]
- Beteiligte Personen und Organisationen
-
Abdulla, Parosh Aziz
Bouajjani, Ahmed
Müller-Olm, Markus
- URN
-
urn:nbn:de:0030-drops-7973
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:44 MEZ
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.
Beteiligte
- Abdulla, Parosh Aziz
- Bouajjani, Ahmed
- Müller-Olm, Markus
- [Internat. Begegnungs- und Forschungszentrum für Informatik]
Entstanden
- [2006]
Ähnliche Objekte (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