C compiler, LustreC, into a generator of both executable code and associated specification. Model-based design tools are ...

Whew, what a game. I feel like I’ve written that coming out of several games this season, but I suppose that’s just the ...