Open AccessFormal verification of automatically generated C-code from polychronous data-flow equations
Author(s) -
Van Chan Ngo,
Loïc Besnard,
Thierry Gautier,
Paul Le Guernic,
Jean-Pierre Talpin
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - executable , computer science , programming language , code generation , correctness , compiler , formal verification , formal specification , code (set theory) , operating system , key (lock) , set (abstract data type)