Statistical Model Checking for Product Lines

Autor: Alberto Lluch Lafuente, Axel Legay, Maurice H. ter Beek, Andrea Vandin

Publikováno v: 7th International Symposium, ISoLA 2016
7th International Symposium, ISoLA 2016, Oct 2016, Corfu, Greece
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
ter Beek, M H, Legay, A, Lluch Lafuente, A & Vandin, A 2016, Statistical Model Checking for Product Lines . in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques : 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I . vol. 9952, Springer, Lecture Notes in Computer Science, pp. 114-33, 7th International Symposium On Leveraging Applications Of Formal Methods, Verification And Validation, Corfu, Greece, 10/10/2016 . https://doi.org/10.1007/978-3-319-47166-2_8
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 114–133, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Legay A.; Lluch Lafuente A.; Vandin A./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:114/pagina_a:133/intervallo_pagine:114–133

International audience; We report on the suitability of statistical model checking forthe analysis of quantitative properties of product line models by an extendedtreatment of earlier work by the authors. The type of analysis thatcan be performed inc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3225fe2e0eea3b89fd03106e15c5c9b8
https://inria.hal.science/hal-01406531/document

Correctness-by-Construction and Post-hoc Verification: Friends or Foes?

Autor: Reiner Hähnle, Maurice H. ter Beek, Ina Schaefer

Publikováno v: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)
7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 723–729, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ter Beek M. H.; Hähnle R.; Schaefer I./congresso_nome:7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:723/pagina_a:729/intervallo_pagine:723–729

While correctness-by-construction and post-hoc verification are traditionally considered to provide two opposing views on proving software systems to be free from errors, nowadays numerous techniques and application fields witness initiatives that tr

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6daea44c3867c746360e42526ec5de4b
https://doi.org/10.1007/978-3-319-47166-2_51

A tool-chain for statistical spatio-temporal model checking of bike sharing systems

Autor: Diego Latella, Rytis Paškauskas, Vincenzo Ciancia, Andrea Vandin, Mieke Massink

Publikováno v: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium, pp. 657–673, Corfu, Greece, 10-14 October 2016
info:cnr-pdr/source/autori:Ciancia V.; Latella D.; Massink M.; Paskauskas R.; Vandin A./congresso_nome:Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. 7th International Symposium/congresso_luogo:Corfu, Greece/congresso_data:10-14 October 2016/anno:2016/pagina_da:657/pagina_a:673/intervallo_pagine:657–673
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques ISBN: 9783319471655
ISoLA (1)

Prominent examples of collective systems are often encountered when analysing smart cities and smart transportation systems. We propose a novel modelling and analysis approach combining statistical model checking, spatio-temporal logics, and simulati

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e7403ff5f4d42b2decddc5fc9cc718d
http://link.springer.com/chapter/10.1007/978-3-319-47166-2_46

Playing with our CAT and communication-centric applications

Autor: Emilio Tuosto, Davide Basile, Gian Luigi Ferrari, Pierpaolo Degano

Publikováno v: Formal Techniques for Distributed Objects, Components, and System. 36th IFIP WG 6.1 International Conference, pp. 62–73, Heraklion, Crete, Greece, 6-9 June 2016
info:cnr-pdr/source/autori:Basile D.; Degano P.; Ferrari G.-L.; Tuosto E./congresso_nome:Formal Techniques for Distributed Objects, Components, and System. 36th IFIP WG 6.1 International Conference/congresso_luogo:Heraklion, Crete, Greece/congresso_data:6-9 June 2016/anno:2016/pagina_da:62/pagina_a:73/intervallo_pagine:62–73
Formal Techniques for Distributed Objects, Components, and Systems ISBN: 9783319395692
FORTE

We describe CAT, a toolkit supporting the analysis of communication-centric applications, i.e., applications consisting of ensembles of interacting services. Services are modelled in CAT as contract automata and communication safety is defined in ter

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e87941a308fc5d24ea7bffe0bc7e869f
http://www.cnr.it/prodotto/i/362669

Validation et Vérification Formelles de Systèmes Interactifs Multi-Modaux Fondées sur la Preuve

Autor: Mickaël Baron, Jean-Marc Mota, Yamine Ait-Ameur, Idir Ait-Sadoune

Publikováno v: 18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006).
18es Conférence Francophone sur l'Interaction Homme-Machine (IHM 2006)., Apr 2006, Montréal, Canada. pp.123-130, ⟨10.1145/1132736.1132752⟩
IHM

International audience; Cet article s'intéresse à la validation et à la vérification formelles d'IHM Multi-Modales (IHM3). Il décrit une partie des résultats obtenus dans le cadre du projet RNRT VERBATIM, dont l'objet est la VERification Biform

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b81fc2d71548b76ccce42bfabec9a184
https://hal.archives-ouvertes.fr/hal-00633908