AMPHION/NAV: Deductive synthesis of state estimation software

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 395-399

  Whittle, Jon ^a   van Baalen, Jeffrey ^a   Schumann, Johann ^a   Robinson, Peter ^a   Pressburger, Tom ^a   Penix, John ^a   Oh, Phil ^a   Lowry, Michael ^a   Brat, Guillaume ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 15844411840     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989837     Document Type: Conference Paper

References (9)

1. R. G. Brown and P. Hwang. Introduction to Random Signals and Applied Kalman Filtering. Wiley, 3rd ed., 1997.
2. B. I. Dahn and A. Wolf. Natural Language Presentation and Combination of Automatically Generated Proofs, volume 3 of Applied Logic Series, pp. 175-192. Kluwer, 1996.
3. A. Gelb (ed). Applied Optimal Estimation. MIT Press, 1974.
4. C. C. Green. Application of theorem proving to problem solving. In Proc. 1JCA1, pages 219-240, 1969.
5. T. Hallgren and A. Ranta. An extensible proof text editor. In Proc. LPAR'2000, volume 1955 of LNAI, pages 70-84. Springer, 2000.
6. M. Kay. XSLT Programmer's Reference. Wrox Press, 2000.
7. Z. Manna and R. Waldinger. Fundamentals of deductive program synthesis. IEEE Transactions on Software Engineering, 18(8):674-704, 1994.
8. M. Stickel, R. Waldinger, M. Lowry, T. Pressburger, and I. Underwood. Deductive composition of astronomical software from subroutine libraries. In Proc. CADE 12, pages 341-355, Springer, 1994.
9. J. van Baalen, P. Robinson, M. Lowry, and T. Pressburger. Explaining synthesized software. In Proc. ASE'98, pages 240-248. IEEE, 1998.