An integer static analysis for better extrapolation in Uppaal
From MaRDI portal
Publication:832038
DOI10.1007/978-3-030-85037-1_6OpenAlexW3193958058MaRDI QIDQ832038FDOQ832038
Authors: Sebastian Lund, Jesper van Diepen, Kim G. Larsen, Marco Muñiz, Tobias Ringholm Jørgensen, Tobias Skaarup Daa Andersen 
Publication date: 24 March 2022
Full work available at URL: https://doi.org/10.1007/978-3-030-85037-1_6
Recommendations
- Static analysis of finite precision computations
- Static analysis by abstract interpretation: a mathematical programming approach
- Static Analysis in Disjunctive Numerical Domains
- On the complexity analysis of static analyses
- Static Analysis
- scientific article; zbMATH DE number 1262844
- Abstract interpretation with infinitesimals. Towards scalability in nonstandard static analysis
Cites Work
- Formal Methods for the Design of Real-Time Systems
- A theory of timed automata
- Constructive versions of Tarski's fixed point theorems
- Precise widening operators for convex polyhedra
- Better abstractions for timed automata
- Title not available (Why is that?)
- Symbolic optimal reachability in weighted timed automata
- Tools and Algorithms for the Construction and Analysis of Systems
Uses Software
This page was built for publication: An integer static analysis for better extrapolation in Uppaal
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832038)
