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

Pulina, Luca; Tacchella, Armando

oai:iris.unige.it:11567/891498

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

Authors: Luca Pulina
Armando Tacchella
Publication date: January 1, 2017
Publisher: 'Springer Science and Business Media LLC'
Doi: DOI: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

Similar works

Full text

Archivio istituzionale della ricerca - Università di Genova

Provided original full text link

oai:iris.unige.it:11567/891498Last time updated on 4/18/2018

This paper was published in Archivio istituzionale della ricerca - Università di Genova.

Having an issue?

Is data on this page outdated, violates copyrights or anything else? Report the problem now and we will take corresponding actions after reviewing your request.