References

References

 [1]
L. Du Bousquet. Test fonctionnel statistique de systèmes spécifiés en lustre. Phd. thesis, Université Joseph Fourier, Grenoble, 1999.
 [2]
P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In 4th ACM Symposium on Principles of Programming Languages, POPL'77, Los Angeles, January 1977.
 [3]
P. Cousot and R. Cousot. Systematic design of program analysis frameworks. In 6th ACM Symposium on Principles of Programming Languages, POPL'79, San Antonio, January 1979.
 [4]
P. Cousot and R. Cousot. Abstract interpretation and application to logic programs. Journal of Logic Programming, 13(2-3), 1992.
 [5]
F. Gaucher, E. Jahier, B. Jeannet, and F. Maraninchi. Automatic state reaching for debugging reactive programs. In 5th Int. Workshop on Automated and Algorithmic Debugging, AADEBUG'03, September 2003. link.
 [6]
N. Halbwachs, Y.E. Proy, and P. Roumanoff. Verification of real-time systems using linear relation analysis. Formal Methods in System Design, 11(2), August 1997.
 [7]
B. Jeannet. Dynamic partitioning in linear relation analysis. Application to the verification of reactive systems. Formal Methods in System Design. 40 pages, to appear, available as a BRICS Research Report http://www.brics.dk/RS/00/38.
 [8]
B. Jeannet. Representing and approximating transfer functions in abstract interpretation of hetereogeneous datatypes. In Static Analysis Symposium, SAS'02, volume 2477 of LNCS, Madrid (Spain)), September 2002.
 [9]
B. Jeannet. Dynamic partitioning in linear relation analysis. application to the verification of reactive systems. Formal Methods in System Design, 23(1):5-37, July 2003.
 [10]
B. Jeannet, N. Halbwachs, and P. Raymond. Dynamic partitioning in analyses of numerical properties. In Static Analysis Symposium, SAS'99, volume 1694 of LNCS, Venezia (Italy), September 1999.
 [11]
C. Ratel, N. Halbwachs, and P. Raymond. Programming and verifying critical systems by means of the synchronous data-flow programming language LUSTRE. In ACM-SIGSOFT'91 Conference on Software for Critical Systems, New Orleans, December 1991.

Bertrand Jeannet, February 10, 2011

References