Open AccessModel Checking of SCADE Designed Systems
Author(s) -
Sebastien Heim,
Xavier Dumas,
Eric Bonnafous,
Philippe Dhaussy,
Ciprian Teodorov,
Lise Leroux
Publication year - 2016
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - lustre (file system) , computer science , asynchronous communication , model checking , property (philosophy) , formal verification , programming language , context (archaeology) , server , operating system , computer network , paleontology , philosophy , epistemology , biology