Open AccessFormal Verification of Industrial Controllers: with or without a Plant model?
Author(s) -
José Machado,
Bruno Denis,
Jean-Jacques Lesage
Publication year - 2006
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - formal verification , computer science , model checking , formal methods , runtime verification , functional verification , verification , control engineering , programming language , engineering , software , software construction , software system