Parametric verification of weighted systems

DOI10.4230/OASICS.SYNCOP.2015.77MaRDI QIDQ5240155zbMATH OpenOpenAlexFDO

Authors Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Radu Mardare, Kim G. Larsen

Publication date 24 October 2019

Full work available at URL http://people.cs.aau.dk/~mardare/papers/SynCop.pdf

zbMATH Keywords

parametric model checkingparametric weighted CTLparametric weighted transition systemswell-quasi ordering

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Parameterized model checking of weighted networks
• On the Verification of Weighted Kripke Structures Under Uncertainty
• Model checking for a class of weighted automata
• Parametric model checking with VerICS
• Parametric model-checking of stopwatch Petri nets

Cites work

• A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata
• A lattice-theoretical fixpoint theorem and its applications
• AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
• Automata for modeling real-time systems
• Counterexample-guided abstraction refinement
• Formal methods for industrial applications. Specification and programming the Steam Boiler Control
• scientific article; zbMATH DE number 2219566 (Why is no real title available?)
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Linear parametric model checking of timed automata
• Minimum-cost reachability for priced timed automata
• Model-checking in dense real-time
• Optimal paths in weighted timed automata
• Ordering by Divisibility in Abstract Algebras
• Parametric real-time reasoning
• Parametric verification of weighted systems
• Uppaal in a nutshell
• Well-structured transition systems everywhere!

Cited in

(6)

• Parameterized model checking of weighted networks
• Up-To Techniques for Weighted Systems
• Generalising KAT to Verify Weighted Computations
• Parametric verification of weighted systems
• On the Verification of Weighted Kripke Structures Under Uncertainty
• On-the-fly verification: advancements in dependency graphs (invited talk)

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Parametric verification of weighted systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5240155)