SPARK User Group 2012

Certifying Formal Methods with ED-12C (DO-178C)