ASTREE
From MaRDI portal
swMATH13704MaRDI QIDQ25618FDOQ25618
Author name not available (Why is that?)
Official website: http://www.astree.ens.fr/
Cited In (only showing first 100 items - show all)
- An abstract interpretation framework for the round-off error analysis of floating-point programs
- A Hybrid Denotational Semantics for Hybrid Systems
- A generic framework for heap and value analyses of object-oriented programming languages
- An abstract domain to infer symbolic ranges over nonnegative parameters
- Applications of polyhedral computations to the analysis and verification of hardware and software systems
- Static contract checking with abstract interpretation
- Cogent
- ACSL
- Caduceus
- Gappa
- Aspic
- ISP
- Dagger
- PPL
- OCaml
- Goanna
- DART
- Cseq
- Predator
- JACK
- Gauss
- Consit
- PolyPaver
- SymmPa
- Lackwit
- Interproc
- MARMOT
- AutoMOTGen
- CBMC
- Soot
- julia
- InvGen
- Galculator
- YASM
- PolyLib
- Orion
- TVLA
- Threader
- SIMGRID
- RoVerGeNe
- NModel
- BAP
- MoonWalker
- SatAbs
- Traffic 4
- PAGAI
- CSSV
- FunArray
- Octagon
- Lazy-CSeq
- Scapy
- FShell
- IKOS
- ALICe
- PATRICIA
- FAST
- Sparrow
- HySon
- Pycket
- Goblint
- Racket
- STRONG
- RELAY
- SPHIN
- EUREKA
- Verasco
- OSMOSE
- gradualizerDynamicSemantics
- Barista
- TypeScript
- DyTa
- SimGridMC
- Ultimate Kojak
- CPAlien
- FrankenBit
- Jakstab
- Magiclock
- MU-CSeq
- Symbiotic 2
- CIL
- Cibai
- SONOLAR
- UppSAT
- XSat
- Julia Static Analyzer
- Bugbench
- AUTOSAR
- mypy
- PolySpace
- AGEDIS
- TALx86
- A parametric segmentation functor for fully automatic and scalable array content analysis
- HybridSystemsLab
- PRECiSA
- RangeLab
- CoVEGI
- The octagon abstract domain
- Sawja: static analysis workshop for Java
- Class invariants as abstract interpretation of trace semantics
- Inferring Loop Invariants Using Postconditions
This page was built for software: ASTREE
