A framework for high-assurance quasi-synchronous systems.

Robin Larrieu, Natarajan Shankar

Browse the full MEMOCODE paper archive.