Hierarchical multi-formalism proofs of cyber-physical systems.

Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee

Browse the full MEMOCODE paper archive.