Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report.

Vu Ha, Murali Rangarajan, Darren D. Cofer, Harald Rue, Bruno Dutertre

Browse the full ICSE paper archive.