Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Benedikt Nordhoff"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 384-403 (2013)
There is a close connection between data-flow analysis and model checking as observed and studied in the nineties by Steffen and Schmidt. This indicates that automata-based analysis techniques developed in the realm of infinite-state model checking c
Externí odkaz:
https://doaj.org/article/1fb0a6a4b1f040ee9653fe7e0d92f5ee
Publikováno v:
Model Checking Software ISBN: 9783319941103
SPIN
SPIN
A shortcoming of traditional logics like LTL and CTL on Pushdown Systems is their inability to express specifications about the call-/return-behavior or the stack content. A natural approach to this problem is the logic CaRet. CaRet adds modalities t
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5d1f368d9fd0e2d4798a218030eca946
https://doi.org/10.1007/978-3-319-94111-0_9
https://doi.org/10.1007/978-3-319-94111-0_9
Publikováno v:
Festschrift for Dave Schmidt
Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 384-403 (2013)
Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 384-403 (2013)
There is a close connection between data-flow analysis and model checking as observed and studied in the nineties by Steffen and Schmidt. This indicates that automata-based analysis techniques developed in the realm of infinite-state model checking c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc62b1bdb7a64a2ed5b8932ea6b614a9
https://doi.org/10.4204/eptcs.129.24
https://doi.org/10.4204/eptcs.129.24