Open AccessSafer Marine and Offshore Software with Formal-Verification-Based Guidelines
Author(s) -
Lucas Duboc,
Sébastien Flanc,
Florent Kirchner,
Hélène Marteau,
Virgile Prevosto,
Franck Sadmi,
Franck Védrine
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - safer , submarine pipeline , computer science , software , formal verification , computer security , geology , oceanography , programming language