ASTREE
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Integration of verification methods for program systems
- Apron
- MPI-CHECK
- Sawja
- Zing
- Cogent
- DiVer
- TinyOS
- BLAST
- Improving the results of program analysis by abstract interpretation beyond the decreasing sequence
- PHAVer
- ACSL
- Convergence: integrating termination and abort-freedom
- Static analysis of embedded real-time concurrent software with dynamic priorities
- Caduceus
- Gappa
- ISP
- Dagger
- Aspic
- Class invariants as abstract interpretation of trace semantics
- PPL
- Demand-driven interprocedural analysis for map-based abstract domains
- Learning analysis strategies for Octagon and context sensitivity from labeled data generated by static analyses
- Inferring functional properties of matrix manipulating programs by abstract interpretation
- Exploring approximations for floating-point arithmetic using UppSAT
- Checking array bounds by abstract interpretation and symbolic expressions
- OCaml
- Goanna
- DART
- Cseq
- Predator
- Formal verification of numerical programs: from C annotated programs to mechanical proofs
- FEVS: a functional equivalence verification suite for high-performance scientific computing
- JACK
- Formal analysis of the compact position reporting algorithm
- Unbounded-time safety verification of guarded LTI models with inputs by abstract acceleration
- SymmPa
- PolyPaver
- Gauss
- Lackwit
- Consit
- Interproc
- Soot
- Experimental evaluation of numerical domains for inferring ranges
- On the efficiency of convex polyhedra
- MARMOT
- YASM
- AutoMOTGen
- CBMC
- julia
- InvGen
- TVLA
- PolyLib
- Threader
- Orion
- Galculator
- SIMGRID
- RoVerGeNe
- Template polyhedra and bilinear optimization
- NModel
- Incrementally closing octagons
- Verified compilation of floating-point computations
- An approximation framework for solvers and decision procedures
- 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.
- System-level state equality detection for the formal dynamic verification of legacy distributed applications
- A divide-and-conquer approach for analysing overlaid data structures
- Temporal property verification as a program analysis task
- Traffic 4
- BAP
- SatAbs
- MoonWalker
- PAGAI
- Programming languages and systems. Third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2--5, 2005. Proceedings
- Weakening additivity in adjoining closures
- CSSV
- Octagon
- Scapy
- FunArray
- Lazy-CSeq
- FShell
- IKOS
- ALICe
- A generic framework for heap and value analyses of object-oriented programming languages
- An abstract domain to infer symbolic ranges over nonnegative parameters
- Abstract fixpoint computations with numerical acceleration methods
- Relational abstract domain of weighted hexagons
- Static analysis of run-time errors in embedded real-time parallel C programs
- A framework for verification and debugging of resource usage properties: resource usage verification
- Sound non-statistical clustering of static analysis alarms
- PATRICIA
- Precise thread-modular abstract interpretation of concurrent programs using relational interference abstractions
- An abstract memory functor for verified C static analyzers
- Generalizing the template polyhedral domain
- Improving strategies via SMT solving
- Static analysis of run-time errors in embedded critical parallel C programs
- The reduced product of abstract domains and the combination of decision procedures
- Sparrow
- Mutation-Based Test Case Generation for Simulink Models
- Static contract checking with abstract interpretation
This page was built for software: ASTREE
