Open AccessBuilding Confidence on Formal Verification Models
Author(s) -
Pierre-Alain Bourdil,
Éric Jenn,
Silvano Dal Zilio
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - soundness , computer science , formal methods , formality , formal verification , refinement , process (computing) , runtime verification , set (abstract data type) , functional verification , formal specification , trace (psycholinguistics) , software engineering , formal system , programming language , linguistics , philosophy