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)
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom