An integer static analysis for better extrapolation in Uppaal

DOI10.1007/978-3-030-85037-1_6MaRDI QIDQ832038zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Theory of computing (68Qxx)

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

• scientific article; zbMATH DE number 1956585 (Why is no real title available?)
• A theory of timed automata
• Better abstractions for timed automata
• Constructive versions of Tarski's fixed point theorems
• Formal Methods for the Design of Real-Time Systems
• Precise widening operators for convex polyhedra
• Symbolic optimal reachability in weighted timed automata
• Tools and Algorithms for the Construction and Analysis of Systems

Describes a project that uses

Uses Software

• PPL
• Uppaal

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)