Report copyright - Astrée Proving the Absence of Runtime Errors · © AbsInt GmbH 2012 Functional Safety Demonstration of functional correctness Well-defined criteria Automated and/or model-based testing
Please pass captcha verification before submit form