Continuity analysis of programs

ACM SIGPLAN Notices

Volumn 45, Issue 1, 2010, Pages 57-69

  Chaudhuri, Swarat ^a   Gulwani, Sumit ^b   Lublinerman, Roberto ^a  

^a PENNSYLVANIA STATE UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United States)

Author keywords

Continuity; Perturbations; Program Analysis; Proof Rules; Robustness; Uncertainty

Indexed keywords

COMBINATORIAL OPTIMIZATION; ROBUSTNESS (CONTROL SYSTEMS); SMALL SATELLITES; TREES (MATHEMATICS);

CONTINUITY; PERTURBATIONS; PROGRAM ANALYSIS; PROOF RULES; UNCERTAINTY;

UNCERTAINTY ANALYSIS;

EID: 77149142916     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1707801.1706308     Document Type: Conference Paper

References (23)

1. Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, and PeiHsin Ho. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid Systems, 1992.
2. Yamine Aït Ameur, Ǵerard Bel, Fŕed́eric Boniol, S. Pairault, and Virginie Wiels. Robustness analysis of avionics embedded systems. In LCTES, pages 123-132, 2003.
3. Thomas H. Cormen, Charles E. Leiserson, and Ronald L. Rivest. Introduction to algorithms. MIT Press and McGraw-Hill, 1990.
4. Patrick Cousot. Proving the absence of run-time errors in safetycritical avionics code. In EMSOFT, pages 7-9, 2007.
5. Patrick Cousot, Radhia Cousot, J́erôme Feret, Laurent Mauborgne, Antoine Mińe, David Monniaux, and Xavier Rival. The ASTRÉE analyzer. In ESOP, pages 21-30, 2005.
6. Eric Goubault. Static analyses of the precision of floating-point operations. In SAS, pages 234-259, 2001.
7. Eric Goubault, Matthieu Martel, and Sylvie Putot. Asserting the precision of floating-point computations: A simple abstract interpreter. In ESOP, 2002.
8. Joseph Halpern. Reasoning about uncertainty. The MIT Press, 2003.
9. Dick Hamlet. Continuity in sofware systems. In ISSTA, pages 196- 200, 2002.
10. Mats Per Erik Heimdahl, Yunja Choi, and Michael W. Whalen. Deviation analysis: A new use of model checking. Autom. Softw. Eng., 12(3):321-347, 2005.
11. Myron Kayton and Walter R. Fried. Avionics navigation systems. Wiley-IEEE, 1997.
12. Edward A. Lee. Cyber physical systems: Design challenges. In ISORC, pages 363-369, 2008.
13. Matthieu Martel. Propagation of roundoff errors in finite precision computations: A semantics approach. In ESOP, pages 194-208, 2002.
14. Antoine Mińe. Relational abstract domains for the detection of floating-point run-time errors. In ESOP, pages 3-17, 2004.
15. Bradford Parkinson and James Spiker. The global positioning system: Theory and applications (Volume II). AIAA, 1996.
16. Stefan Pettersson and Bengt Lennartson. Stability and robustness for hybrid systems. In Decision and Control, volume 2, pages 1202-1207, Dec 1996.
17. Andreas Podelski and Silke Wagner. Model checking of hybrid systems: From reachability towards stability. In HSCC, pages 507-521, 2006.
18. Mardavij Roozbehani, Alexandre Megretski, Emilio Frazzoli, and Eric Feron. Distributed lyapunov functions in analysis of graph models of software. In HSCC, pages 443-456, 2008.
19. Ofer Strichman. Regression verification: Proving the equivalence of similar programs. In CAV, 2009.
20. Wilson Sutherland. Introduction to metric and topological spaces. Oxford University Press, 1975.
21. John Taylor. An introduction to error analysis: the study of uncertainties in physical measurements. University Science Books, 1997.
22. Tachio Terauchi and Alex Aiken. A capability calculus for concurrency and determinism. In CONCUR, pages 218-232, 2006.
23. Glynn Winskel. The formal semantics of programming languages. The MIT Press, 1993.