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

Our Solar System contains tens of thousands of potentially dangerous asteroids that could wipe out an entire city, or worse.