Practical Formal Methods

Autor: Keiren, J.J.A., Huisman, M.

Publikováno v: Huisman, M. (ed.), A Research Agenda for Formal Methods in the Netherlands, pp. 21-22
Technical Report ; UU-CS-2019-004, 21-22. Utrecht : Utrecht University
STARTPAGE=21;ENDPAGE=22;TITLE=Technical Report ; UU-CS-2019-004

Contains fulltext : 207828.pdf (Author’s version preprint ) (Open Access)

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

Liveness analysis for parameterised Boolean equation systems

Autor: Keiren, J.J.A., Wesselink, J.W., Willemse, T.A.C., Cassez, F., Raskin, J.-F.

Publikováno v: Automated Technology for Verification and Analysis ISBN: 9783319119359
ATVA
Automated Technology for Verification and Analysis (12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014), 219-234
STARTPAGE=219;ENDPAGE=234;TITLE=Automated Technology for Verification and Analysis (12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014)

We present a sound static analysis technique for fighting the combinatorial explosion of parameterised Boolean equation systems (PBESs). These essentially are systems of mutually recursive fixed point equations ranging over first-order logic formulae

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7701c4dda9cf58f18d834466310f27cd
https://doi.org/10.1007/978-3-319-11936-6_16

Branching Bisimulation Games

Autor: Frutos Escrig, D. de, Keiren, J.J.A., Willemse, T.A.C., Albert, E., Lanese, I.

Publikováno v: Albert, E.; Lanese, I. (ed.), Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, 142-157. Cham : Springer International Publishing
STARTPAGE=142;ENDPAGE=157;ISSN=0302-9743;TITLE=Albert, E.; Lanese, I. (ed.), Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
Lecture Notes in Computer Science
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE)
36th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2016, Heraklion, Greece. pp.142-157, ⟨10.1007/978-3-319-39570-8_10⟩
Escrig, D D F, Keiren, J J A & Willemse, T A C 2016, Branching bisimulation games . in E Albert & I Lanese (eds), Formal Techniques for Distributed Objects, Components, and Systems : 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings . Springer, Cham, Lecture Notes in Computer Science, vol. 9688, pp. 142-157, 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Greece, 6/06/16 . https://doi.org/10.1007/978-3-319-39570-8_10
Formal Techniques for Distributed Objects, Components, and Systems-36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings, 142-157
STARTPAGE=142;ENDPAGE=157;TITLE=Formal Techniques for Distributed Objects, Components, and Systems-36th IFIP WG 6.1 International Conference, FORTE 2016 Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Proceedings
Albert, E.; Lanese, I. (ed.), Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, pp. 142-157
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings, 142-157
STARTPAGE=142;ENDPAGE=157;TITLE=Formal Techniques for Distributed Objects, Components, and Systems
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319395692
FORTE

International audience; Branching bisimilarity and branching bisimilarity with explicit divergences are typically used in process algebras with silent steps when relating implementations to specifications. When an implementation fails to conform to i

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1fe287924283245fdecf6b131a56cdf2
http://hdl.handle.net/2066/159595

Benchmarks for Parity Games

Autor: Keiren, J.J.A.

Publikováno v: Keiren, J J A 2015, Benchmarks for Parity Games . in FSEN 2015 . Springer, FSEN, 1/01/15 .
FSEN 2015

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fe60b9f7ff9add9c03ce515f34603d92
https://research.vu.nl/en/publications/ea0f9d04-92ac-475a-b350-5caee2fe4db4

An Overview of the mCRL2 Toolset and Its Recent Advances

Autor: Cranen, S., Groote, J.F., Keiren, J.J.A., Stappers, F.P.M., Vink, de, E.P., Wesselink, J.W., Willemse, T.A.C., Piterman, N., Smolka, S.A.

Publikováno v: Tools and Algorithms for the Construction and Analysis of Systems ISBN: 9783642367410
TACAS
Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings), 199-213
STARTPAGE=199;ENDPAGE=213;TITLE=Tools and Algorithms for the Construction and Analysis of Systems (19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings)

The analysis of complex distributed systems requires dedicated software tools. The mCRL language and toolset have been developed to support such analysis. We highlight changes and improvements made to the toolset in recent years. On the one hand, the

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::576e7e89326b984828457d7034ed48c4
https://doi.org/10.1007/978-3-642-36742-7_15