Výsledky vyhledávání - "Willemse T.A.C."

Formal methods and tools for industrial critical systems

Autor: ter Beek M.H., Larsen K.G., Nickovic D., Willemse T.A.C.

Publikováno v: International Journal on Software Tools for Technology Transfer, 24(3), 325-330. Springer
International journal on software tools for technology transfer (Internet) 24 (2022): 325–330. doi:10.1007/s10009-022-00660-4
info:cnr-pdr/source/autori:ter Beek M.H.; Larsen K.G.; Nickovic D.; Willemse T.A.C./titolo:Formal methods and tools for industrial critical systems/doi:10.1007%2Fs10009-022-00660-4/rivista:International journal on software tools for technology transfer (Internet)/anno:2022/pagina_da:325/pagina_a:330/intervallo_pagine:325–330/volume:24

Formal methods and tools have become well established and widely applied to ensure the correctness of fundamental components of industrial critical systems in domains like railways, avionics and automotive. In this Introduction to the special issue,

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b3bf0d45240401171cbbe8b61a326ad
https://doi.org/10.1007/s10009-022-00660-4

Zobrazit plný text záznamu

Akademický článek

Verification of reactive systems via instantiation of Parameterised Boolean Equation Systems

Autor: Ploeger, B., Wesselink, J.W., Willemse, T.A.C.

Publikováno v: In Information and Computation 2011 209(4):637-663

Zobrazit plný text záznamu

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.

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.

Formalising the Dezyne modelling language in mCRL2

Autor: van Beusekom, R., Groote, J.F., Hoogendijk, P., Howe, R., Wesselink, W., Wieringa, R., Willemse, T.A.C., Petrucci, L., Seceleanu, C., Cavalcanti, A.

Publikováno v: Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings, 217-233
STARTPAGE=217;ENDPAGE=233;TITLE=Critical Systems: Formal Methods and Automated Verification
Lecture Notes in Computer Science ISBN: 9783319671123
FMICS-AVoCS

Dezyne is an industrial language with an associated set of tools, allowing users to model interface behaviours and implementations of reactive components and generate executable code from these. The tool and language succeed the successful ASD:Suite

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9a6b2bb8afb2beb9ba93a494a5492c83
https://doi.org/10.1007/978-3-319-67113-0_14

Zobrazit plný text záznamu

A Formalisation of Consistent Consequence for Boolean Equation Systems

Autor: Delft, M. van, Geuvers, H., Willemse, T.A.C., Ayala-Rincón, M., Muñoz, C.A.

Publikováno v: Interactive Theorem Proving ISBN: 9783319661063
ITP
Ayala-Rincón, M.; Muñoz, C.A. (ed.), Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings, pp. 462-478
Interactive theorem proving-8th International Conference, ITP 2017,Proceedings, 462-478
STARTPAGE=462;ENDPAGE=478;TITLE=Interactive theorem proving-8th International Conference, ITP 2017,Proceedings
Ayala-Rincón, M.; Muñoz, C.A. (ed.), Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings, 462-478. Cham : Springer International Publishing
STARTPAGE=462;ENDPAGE=478;ISSN=0302-9743;TITLE=Ayala-Rincón, M.; Muñoz, C.A. (ed.), Interactive Theorem Proving: 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings

Boolean equation systems are sequences of least and greatest fixpoint equations interpreted over the Boolean lattice. Such equation systems arise naturally in verification problems such as the modal α-calculus model checking problem. Solving a Boole

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d2a2b9deaf8be729bd914e3e6ae5974e
https://hdl.handle.net/2066/178448

Zobrazit plný text záznamu

Family-based model checking with mCRL2

Autor: ter Beek, M.H., de Vink, E.P., Willemse, T.A.C., Huisman, M., Rubin, J.

Publikováno v: FASE 2017-Fundamental Approaches to Software Engineering. 20th International Conference, pp. 387–405, Uppsala, Sweden, 22-29 April 2017
Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, 387-405
STARTPAGE=387;ENDPAGE=405;TITLE=Fundamental Approaches to Software Engineering
info:cnr-pdr/source/autori:Ter Beek M. H.; De Vink E. P.; Willemse T. A./congresso_nome:FASE 2017-Fundamental Approaches to Software Engineering. 20th International Conference/congresso_luogo:Uppsala, Sweden/congresso_data:22-29 April 2017/anno:2017/pagina_da:387/pagina_a:405/intervallo_pagine:387–405
Fundamental Approaches to Software Engineering ISBN: 9783662544938
FASE

Family-based model checking targets the simultaneous verification of multiple system variants, a technique to handle feature-based variability that is intrinsic to software product lines SPLs. We present an approach for family-based verification base

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f01d64e2eaaa560da178a15568091f1
https://doi.org/10.1007/978-3-662-54494-5_23

Zobrazit plný text záznamu

Akademický článek

Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract)

Autor: Andova, S., Willemse, T.A.C.

Publikováno v: In Electronic Notes in Theoretical Computer Science 14 April 2005 128(2):53-66

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání