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 Feature-Based Decomposition of Inductive Proofs Applied to Real-Time Avionics Software: An Experience Report. 304-313 2004 conf/icse/2004 ICSE http://csdl.computer.org/comp/proceedings/icse/2004/2163/00/21630304abs.htm db/conf/icse/icse2004.html#HaRCRD04