Open AccessInteractive Runtime Verification - When Interactive Debugging meets Runtime Verification
Author(s) -
Raphaël Jakse,
Ylìès Falcone,
JeanFrançois Méhaut,
Kevin Pouget
Publication year - 2017
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - Uncategorized
Resource type - Conference proceedings
Subject(s) - runtime verification , debugging , computer science , intelligent verification , functional verification , formal verification , verification , high level verification , software verification , programming language , embedded system , operating system , software , software construction , software development