The following pages link to ASTREE (Q25618):
Displayed 50 items.
- A generic framework for heap and value analyses of object-oriented programming languages (Q278744) (← links)
- An abstract domain to infer symbolic ranges over nonnegative parameters (Q281291) (← links)
- Wave equation numerical resolution: a comprehensive mechanized proof of a C program (Q352952) (← links)
- Inferring complete initialization of arrays (Q383356) (← links)
- Acceleration of the abstract fixpoint computation in numerical program analysis (Q435974) (← links)
- Discovering invariants via simple component analysis (Q435979) (← links)
- Polynomial function intervals for floating-point software verification (Q457251) (← links)
- An extension of lazy abstraction with interpolation for programs with arrays (Q479820) (← links)
- Deciding floating-point logic with abstract conflict driven clause learning (Q479837) (← links)
- The two variable per inequality abstract domain (Q656848) (← links)
- Weakly-relational shapes for numeric abstractions: Improved algorithms and proofs of correctness (Q845242) (← links)
- A minimalistic look at widening operators (Q848744) (← links)
- Some ways to reduce the space dimension in polyhedra computations (Q853727) (← links)
- The octagon abstract domain (Q853733) (← links)
- Proof-carrying code from certified abstract interpretation and fixpoint compression (Q860842) (← links)
- Efficient SAT-based bounded model checking for software verification (Q947794) (← links)
- A novel analysis space for pointer analysis and its application for bug finding (Q988180) (← links)
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565) (← links)
- Applications of polyhedral computations to the analysis and verification of hardware and software systems (Q1035700) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence (Q1620957) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Static analysis of embedded real-time concurrent software with dynamic priorities (Q1650954) (← links)
- Class invariants as abstract interpretation of trace semantics (Q1749225) (← links)
- Demand-driven interprocedural analysis for map-based abstract domains (Q1785851) (← links)
- Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses (Q1791273) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- Exploring approximations for floating-point arithmetic using UppSAT (Q1799086) (← links)
- Checking array bounds by abstract interpretation and symbolic expressions (Q1799137) (← links)
- Formal verification of numerical programs: from C annotated programs to mechanical proofs (Q1949765) (← links)
- FEVS: a functional equivalence verification suite for high-performance scientific computing (Q1949768) (← links)
- Formal analysis of the compact position reporting algorithm (Q1996426) (← links)
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration (Q2031413) (← links)
- Experimental evaluation of numerical domains for inferring ranges (Q2130561) (← links)
- On the efficiency of convex polyhedra (Q2130564) (← links)
- Template polyhedra and bilinear optimization (Q2322312) (← links)
- Incrementally closing octagons (Q2335904) (← links)
- Verified compilation of floating-point computations (Q2352505) (← links)
- An approximation framework for solvers and decision procedures (Q2362497) (← links)
- Programming languages and systems. 14th European symposium on programming, ESOP 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4--8, 2005. Proceedings. (Q2388072) (← links)
- System-level state equality detection for the formal dynamic verification of legacy distributed applications (Q2413022) (← links)
- A divide-and-conquer approach for analysing overlaid data structures (Q2441710) (← links)
- Temporal property verification as a program analysis task (Q2441713) (← links)
- Programming languages and systems. Third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2--5, 2005. Proceedings (Q2508318) (← links)
- Weakening additivity in adjoining closures (Q2520722) (← links)
- Abstract Fixpoint Computations with Numerical Acceleration Methods (Q2814099) (← links)
- Relational Abstract Domain of Weighted Hexagons (Q2814105) (← links)
- Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs (Q2881094) (← links)
- (Q2883083) (← links)
- Sound Non-statistical Clustering of Static Analysis Alarms (Q2891424) (← links)