Static Analysis
暂无分享,去创建一个
J. van Leeuwen | Jan van Leeuwen | Germán Puebla | Manuel V. Hermenegildo | G. Puebla | M. Hermenegildo | J. V. Leeuwen
[1] Matthieu Martel,et al. Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach , 2002, ESOP.
[2] Alan F. Beardon,et al. Iteration of Rational Functions , 1991 .
[3] Michael F. Barnsley,et al. Fractals everywhere, 2nd Edition , 1993 .
[4] Gene H. Golub,et al. Matrix computations , 1983 .
[5] H. Wong-Toi,et al. Some lessons from the HYTECH experience , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).
[6] William Pugh,et al. A practical algorithm for exact array dependence analysis , 1992, CACM.
[7] Vincent Loechner. PolyLib: A Library for Manipulating Parameterized Polyhedra , 1999 .
[8] Eran Yahav,et al. Verifying safety properties of concurrent Java programs using 3-valued logic , 2001, POPL '01.
[9] Olivier Coudert,et al. A Performance Study of BDD-Based Model Checking , 1998, FMCAD.
[10] F. Chatelin. Valeurs propres de matrices , 1988 .
[11] Nicolas Halbwachs,et al. Verification of Linear Hybrid Systems by Means of Convex Approximations , 1994, SAS.
[12] J. Stoer,et al. Convexity and Optimization in Finite Dimensions I , 1970 .
[13] William H. Press,et al. Numerical recipes in C , 2002 .
[14] Patrick Cousot,et al. Abstract Interpretation Frameworks , 1992, J. Log. Comput..
[15] Thomas A. Henzinger,et al. HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.
[16] J. Yorke,et al. Chaos: An Introduction to Dynamical Systems , 1997 .
[17] Bernd Finkbeiner,et al. An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems , 1998, Tool Support for System Specification, Development and Verification.
[18] Nicolas Halbwachs,et al. Verification of Real-Time Systems using Linear Relation Analysis , 1997, Formal Methods Syst. Des..
[19] H. L. Verge. A Note on Chernikova's algorithm , 1992 .
[20] Eric Goubault,et al. Static Analyses of the Precision of Floating-Point Operations , 2001, SAS.
[21] Eric Goubault,et al. Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter , 2002, ESOP.
[22] H. Raiffa,et al. 3. The Double Description Method , 1953 .