Zobrazeno 1 - 10
of 505
pro vyhledávání: '"Model-checking LTL"'
Autor:
Morse, Jeremy1 jcmm106@ecs.soton.ac.uk, Cordeiro, Lucas2 lucascordeiro@ufam.edu.br, Nicole, Denis1 dan@ecs.soton.ac.uk, Fischer, Bernd b.fischer@ecs.soton.ac.uk
Publikováno v:
Software & Systems Modeling. Feb2015, Vol. 14 Issue 1, p65-81. 17p.
Publikováno v:
In Information and Computation 2003 186(2):355-376
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Software & Systems Modeling. 14:65-81
Context-bounded model checking has been used successfully to verify safety properties in multi-threaded systems automatically, even if they are implemented in low-level programming languages such as C. In this paper, we describe and experiment with a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4f6e5298fd7c7aa75a358fe040e9a7e2
https://doi.org/10.1007/s10270-013-0366-0
https://doi.org/10.1007/s10270-013-0366-0
We study the model checking problem for monotonic extensions of Petri Nets, namely for two extensions of Petri nets: reset nets (nets in which places can be emptied by the firing of a transition with a reset arc) and ν-Petri nets (nets in which toke
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3f12dd25a9f3561637f57de3df037a66
Publikováno v:
Model Checking Software (9783540331025); 2006, p1-18, 18p
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642002540
IFM
IFM
The Raise Specification Language (RSL) is a modeling language which supports various specification styles. To apply model checking to RSL concurrent descriptions, we translate RSL specifications into the input language CSPM of FDR. FDR is the model c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dd0da3bb61b44c998c21d7d538a858f5
https://doi.org/10.1007/978-3-642-00255-7_16
https://doi.org/10.1007/978-3-642-00255-7_16
Autor:
Keijo Heljanko, Javier Esparza
Publikováno v:
Unfoldings ISBN: 9783540774259
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::db37a6849b236eb9818f9d78feed5504
https://doi.org/10.1007/978-3-540-77426-6_8
https://doi.org/10.1007/978-3-540-77426-6_8
Autor:
Shahid Jabbar, Stefan Edelkamp
Publikováno v:
Model Checking Software ISBN: 9783540331025
SPIN
SPIN
To analyze larger models for explicit-state model checking, directed model checking applies error-guided search, external model checking uses secondary storage media, and distributed model checking exploits parallel exploration on multiple processors
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9fef0dd707872cfc2630892da7ae0784
https://doi.org/10.1007/11691617_1
https://doi.org/10.1007/11691617_1