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 5^th 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.

References