An integer static analysis for better extrapolation in Uppaal

DOI10.1007/978-3-030-85037-1_6OpenAlexW3193958058MaRDI QIDQ832038

Marco Muñiz, Tobias Skaarup Daa Andersen, Jesper van Diepen, Kim Guldstrand Larsen, Tobias Ringholm Jørgensen, Sebastian Lund

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)

Uses Software

• Uppaal
• PPL

Cites Work

• Unnamed Item
• Constructive versions of Tarski's fixed point theorems
• A theory of timed automata
• Precise widening operators for convex polyhedra
• Better Abstractions for Timed Automata
• Symbolic Optimal Reachability in Weighted Timed Automata
• Tools and Algorithms for the Construction and Analysis of Systems
• Formal Methods for the Design of Real-Time Systems

This page was built for publication: An integer static analysis for better extrapolation in Uppaal