More adaptive does not imply less safe (with formal verification)

Contributo in Atti di convegno
Data di Pubblicazione:
2017
Citazione:
More adaptive does not imply less safe (with formal verification) / Pulina, Luca; Tacchella, A. - 10629:(2017), pp. 237-240. ( 13th International Haifa Verification Conference, HVC 2017 Haifa; Israel 13 -15 November 2017) [10.1007/978-3-319-70389-3_19].
Abstract:
In this paper we provide a concise survey of our work devoted to applying formal methods to check the safety of adaptive cyber-physical systems.
Tipologia CRIS:
4.1 Contributo in Atti di convegno
Keywords:
Theoretical Computer Science; Computer Science (all)
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.uniss.it/handle/11388/199850
Titolo del libro:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)