van Chan Ngo, Loic Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Formal verification of automatically generated C-code from polychronous data-flow equations.
HLDVT 2012 - IEEE International High-Level Design, Validation and Test Workshop, Nov 2012, California, United States.
⟨hal-00763781⟩