Past Program Reviews | 2015 Annual Program Review | 2015 Presentations

Verifying Distributed Car and Aircraft Systems With Logic and Refinement

Sarah  Loos,
Carnegie Mellon University