Zobrazeno 1 - 10
of 168
pro vyhledávání: '"Gerth R"'
Publikováno v:
In IDCases 2024 36
Autor:
Berger, P., Gruschwitz, M., Spoettl, G., Dirnhofer, S., Madersbacher, S., Gerth, R., Merz, W.E., Plas, E., Sampson, N.
Publikováno v:
In Molecular and Cellular Endocrinology 2 January 2007 260-262:190-196
Autor:
Van Ginkel, C. D., Dubois, A. E., De Jong, N. W., Van Wijk, Gerth R., De Groot, H., Koppelman, G. H.
Publikováno v:
Allergy, 72:1422, 129-130. Wiley-Blackwell
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::0c0c6f967b9d368736d09c30820ad13f
https://research.rug.nl/en/publications/a6fd2ca7-4d82-4100-9343-649e8c0d9c68
https://research.rug.nl/en/publications/a6fd2ca7-4d82-4100-9343-649e8c0d9c68
Publikováno v:
British Journal of Cancer. 1/1/2000, Vol. 82 Issue 1, p85. 3p.
Publikováno v:
ISSUE=6;STARTPAGE=108;ENDPAGE=119;TITLE=6th International SPIN Workshop on Theoretical and Practical Aspects of SPIN Model Checking 1999
One of the difficulties of using model checkers “in the large��? is the management of all (generated) data during the validation trajectory. It is important that the results obtained from the validation are always reproducible. Without tool sup
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::79a798450b6c239517cb190f29bc02d4
https://research.utwente.nl/en/publications/xspinproject--integrated-validation-management-for-xspin(7eb759a6-9d53-46d4-8980-b0d31cb2681c).html
https://research.utwente.nl/en/publications/xspinproject--integrated-validation-management-for-xspin(7eb759a6-9d53-46d4-8980-b0d31cb2681c).html
Autor:
Janssen, W., Mateescu, R., Mauw, S., Fennema, P., Stappen, van der, P., Dams, D., Gerth, R., Leue, S., Massink, M.
Publikováno v:
Theoretical and Practical Aspects of SPIN Model Checking ISBN: 9783540664994
SPIN
Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999), 92-107
STARTPAGE=92;ENDPAGE=107;TITLE=Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999)
SPIN
Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999), 92-107
STARTPAGE=92;ENDPAGE=107;TITLE=Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999)
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirements, and is therefore not very accessible. In this paper we show how mod
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8ef3dc7779354f4a1e42eed2164d6bd8
https://doi.org/10.1007/3-540-48234-2_7
https://doi.org/10.1007/3-540-48234-2_7
Publikováno v:
Theoretical and Practical Aspects of SPIN Model Checking ISBN: 9783540664994
SPIN
Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999), 40-56
STARTPAGE=40;ENDPAGE=56;TITLE=Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999)
SPIN
Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999), 40-56
STARTPAGE=40;ENDPAGE=56;TITLE=Theoretical and Practical Aspects of SPIN Model Checking (Proceedings 5th and 6th International Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999)
If synchronizing (rendez-vous) communications are used in the Promela models, the unless construct and the weak fairness algorithm are not compatible with the partial order reduction algorithm used in Spin’s verifier. After identifying the wrong pa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::289b95ac07253620cff439c41fc39b4a
https://research.tue.nl/en/publications/d93acf44-d7b7-4cd4-8863-fd00e54df84e
https://research.tue.nl/en/publications/d93acf44-d7b7-4cd4-8863-fd00e54df84e
Publikováno v:
Berlin: Springer, 1999
info:cnr-pdr/source/autori:Dams D.; Gerth R.; Leue S.; Massink M./titolo:Theoretical and practical aspects of SPIN model checking. 5th and 6th Int. SPIN workshops/editore: /anno:1999
info:cnr-pdr/source/autori:Dams D.; Gerth R.; Leue S.; Massink M./titolo:Theoretical and practical aspects of SPIN model checking. 5th and 6th Int. SPIN workshops/editore: /anno:1999
Theoretical and practical aspects of SPIN model checking
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::71e58bb147e70e37cb6b56c391263cea
https://openportal.isti.cnr.it/doc?id=people______::71e58bb147e70e37cb6b56c391263cea
https://openportal.isti.cnr.it/doc?id=people______::71e58bb147e70e37cb6b56c391263cea
Publikováno v:
Logic Group Preprint Series, 132
The advent of ever more complex reactive systems in increasingly critical areas calls for the development of automated verification techniques. Model checking is one such technique, which has proven quite successful. However, the state explosion prob
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::0a9bff0894b712ca528a22ccce93d96c
https://dspace.library.uu.nl/handle/1874/26494
https://dspace.library.uu.nl/handle/1874/26494
Publikováno v:
Computing in Civil & Building Engineering (2014); 2014, p1062-1069, 8p