Parametric Verification of Weighted Systems
From MaRDI portal
Publication:5240155
DOI10.4230/OASIcs.SynCoP.2015.77zbMath1429.68140OpenAlexW2292799201MaRDI QIDQ5240155
Anders Mariegaard, Peter Christoffersen, Radu Mardare, Mikkel Hansen, Julian Trier Ringsmose, Kim Guldstrand Larsen
Publication date: 24 October 2019
Full work available at URL: http://people.cs.aau.dk/~mardare/papers/SynCop.pdf
parametric model checkingwell-quasi orderingparametric weighted CTLparametric weighted transition systems
Related Items (2)
On the Verification of Weighted Kripke Structures Under Uncertainty ⋮ Parametric Verification of Weighted Systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Model-checking in dense real-time
- Formal methods for industrial applications. Specification and programming the Steam Boiler Control
- Uppaal in a nutshell
- Linear parametric model checking of timed automata
- A lattice-theoretical fixpoint theorem and its applications
- A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
- Infinite Runs in Weighted Timed Automata with Energy Constraints
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- Parametric Verification of Weighted Systems
- Parametric real-time reasoning
- Ordering by Divisibility in Abstract Algebras
- Well-structured transition systems everywhere!
This page was built for publication: Parametric Verification of Weighted Systems
