Open AccessASTERIOS Checker : A Verification Tool for Certifying Airborne Software
Author(s) -
Amira Methni,
Emmanuel Ohayon,
François Thurieau
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - computer science , programming language , model checking , software engineering , software , software verification , formal verification , verification and validation , software construction , software system , engineering , operations management