Amphion/NAV: Deductive Synthesis of State Estimation Software

Jon Whittle
Jeffrey Van Baalen
Johann Schumann
Peter Robinson
Thomas Pressburger
Phil Oh
Michael R. Lowry
Guillaume P. Brat
International Conference on Automated Software Engineering(2001), pp. 395-399

Abstract

Research Areas