Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization

Autor: Lensink, Leonard, Smetsers, Sjaak, Eekelen, M.C.J.D. van, Merino, P., Leue, S.

Publikováno v: Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, 115-132. Berlin : Springer
STARTPAGE=115;ENDPAGE=132;ISSN=0302-9743;TITLE=Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Merino, P.; Leue, S. (ed.), Formal Methods for Industrial Critical Systems : 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, pp. 115-132

Contains fulltext : 72022.pdf (Author’s version preprint ) (Open Access) 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, 01 juli 2007

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ec0328b3adf5b67b23469affa56ee1e6
https://hdl.handle.net/2066/72022

Partial-order reduction for general state exploring algorithms

Autor: Bosnacki, D., Leue, S., Lluch Lafuente, A., Valmari, A.

Publikováno v: Scopus-Elsevier
Model Checking Software (Proceedings 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006), 271-287
STARTPAGE=271;ENDPAGE=287;TITLE=Model Checking Software (Proceedings 13th International SPIN Workshop, Vienna, Austria, March 30-April 1, 2006)
Model Checking Software ISBN: 9783540331025
SPIN
International Journal on Software Tools for Technology Transfer, 11(1), 39-51. Springer

Partial-order reduction is one of the main techniques used to tackle the combinatorial state explosion problem occurring in explicit-state model checking of concurrent systems. The reduction is performed by exploiting the independence of concurrently

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b70dd02942f083bb443fd5dba600b69d

Operational semantics of security protocols

Autor: Cremers, C.J.F., Mauw, S., Leue, S., Systä, T.J.

Publikováno v: Scopus-Elsevier
Scenarios: Models, Transformations and Tools ISBN: 9783540261896
Scenarios: Models, Transformations and Tools
Scenarios : Models, Transformations and Tools: International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised selected papers, 66-89
STARTPAGE=66;ENDPAGE=89;TITLE=Scenarios : Models, Transformations and Tools

Based on a concise domain analysis we develop a formal semantics of security protocols. Its main virtue is that it is a generic model, in the sense that it is parameterized over e.g. the intruder model. Further characteristics of the model are a stra

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b4d54753350e9d1c641904e2d28b0089
https://doi.org/10.1007/11495628_4

Xspin/Project - Integrated Validation Management for Xspin

Autor: Ruys, T.C., Dams, D.R., Gerth, R., Leue, S., Massink, M.

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

Theoretical and practical aspects of SPIN model checking. 5th and 6th Int. SPIN workshops

Autor: Dams D., Gerth R., Leue S., Massink M.

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

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