Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond  Home/Search
Context Related
| verimag.imag.fr//PEOPLE/N...sas99.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: verimag.imag.fr//PEOPLE/N...sas99 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We apply linear relation analysis [CH78,HPR97] to the verification of declarative synchronous programs [Hal98]. In this approach, state partitioning plays an important role: on one hand the precision of the results highly depends on the fineness of the partitioning; on the other hand, a too much detailed partitioning may result in an exponential explosion of the analysis. In this paper, we propose to dynamically select a suitable partitioning according to the property to be proved. 1... (Update)
Cited by: More
Abstraction Refinement via Inductive Learning - Alexey Loginov Thomas (Correct)
Verification of Hybrid Systems Based on.. - Clarke, Fehnker.. (2003) (Correct)
Abstraction and Counterexample-Guided Refinement.. - Clarke, Fehnker.. (2003) (Correct)
Active bibliography (related documents): More All
0.1: Program Analysis Position Statement: The Abstract Interpretation.. - Cousot (1996) (Correct)
0.1: Precise Widening Operators for Convex Polyhedra - Bagnara, Hill, Ricci, Zaffanella (2003) (Correct)
0.1: Improving the Static Analysis of Loops - Dynamic Partitioning Techniques (2003) (Correct)
Similar documents based on text: More All
0.3: A Relational Approach to Interprocedural Shape Analysis.. - Alexey Loginov Thomas (2004) (Correct)
0.2: A Tutorial Of Lustre - Halbwachs, Raymond (2001) (Correct)
0.2: Validation of Synchronous Reactive Systems: from Formal.. - Halbwachs, Raymond (1999) (Correct)
Related documents from co-citation: More All
7: Counterexample-guided abstraction refinement - Clarke, Grumberg et al. - 2000
5: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
5: Model Checking - Clarke, Grumberg et al. - 1994
BibTeX entry: (Update)
B. Jeannet, N. Halbwachs, and P. Raymond. Dynamic partitioning in analyses of numerical properties. In Static Analysis Symposium '99, volume 1694 of Lecture Notes in Computer Science, pages 39--50. Springer-Verlag, 1999. http://citeseer.ist.psu.edu/jeannet99dynamic.html More
@inproceedings{ jeannet99dynamic,
author = "Bertrand Jeannet and Nicolas Halbwachs and Pascal Raymond",
title = "Dynamic Partitioning in Analyses of Numerical Properties",
booktitle = "Static Analysis Symposium",
pages = "39-50",
year = "1999",
url = "citeseer.ist.psu.edu/jeannet99dynamic.html" }
Citations (may not include all citations):815 Abstract interpretation: a unified lattice model for static .. (context) - Cousot, Cousot - 1977
638 Partial Evaluation and Automatic Program Generation (context) - Jones, Gomard et al. - 1993
250 Automatic discovery of linear restraints among variables of .. - Cousot, Halbwachs - 1978
142 Abstract interpretation frameworks (context) - Cousot, Cousot - 1992
54 Static determination of dynamic properties of programs (context) - Cousot, Cousot - 1976
48 Comparing the Galois connection and widening /narrowing appr.. - Cousot, Cousot - 1992
42 Verification of real-time systems using linear relation anal.. - Halbwachs, Proy et al. - 1997
38 Symbolic model checking of infinite state systems using pres.. - Bultan, Gerber et al. - 1997
23 Abstract interpretation by dynamic partitionning (context) - Bourdoncle - 1992
18 About synchronous programming and abstract interpretation (context) - Halbwachs - 1998
17 S'emantique des langages imp'eratifs d'ordre sup'erieur et i.. (context) - Bourdoncle - 1992
16 Composite model checking: Verification with type-specific sy.. - Bultan, Gerber et al. - 1999
1 Symbolic simulation of interpreted automata (context) - Mauras - 1996
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC