FM 2012

Aug 27-31, 2012 – Paris, France

The Hi-Lite team will present the paper "Maximal and compositional pattern-based loop invariants" and give the talk "The future of formal software verification in avionics".