Quantitative Verification of Weighted Kripke Structures

DOI10.1007/978-3-319-11936-6_6MaRDI QIDQ3457780zbMATH OpenOpenAlexFDO

Authors Patricia Bouyer, Patrick Gardy, Nicolas Markey

Publication date 17 December 2015

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-11936-6_6

Mathematics Subject Classification ID

Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the Verification of Weighted Kripke Structures Under Uncertainty
• A quantitative characterization of weighted Kripke structures in temporal logic
• A quantitative characterization of weighted Kripke structures in temporal logic
• Quantitative analysis of lattice-valued Kripke structures
• An algebraic generalization of Kripke structures
• Decidability and expressiveness of recursive weighted logic
• Complete proof systems for weighted modal logic
• Bounded Model Checking for Partial Kripke Structures
• METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
• Generalising KAT to Verify Weighted Computations

Cited in

(14)

• Model checking and synthesis for branching multi-weighted logics
• Parameterized model checking of weighted networks
• A quantitative characterization of weighted Kripke structures in temporal logic
• Ratio and weight quantiles
• Temporal specifications with accumulative values
• A quantitative characterization of weighted Kripke structures in temporal logic
• Averaging in LTL
• Generalising KAT to Verify Weighted Computations
• Correct Hardware Design and Verification Methods
• Model checking for a class of weighted automata
• METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS
• On the Verification of Weighted Kripke Structures Under Uncertainty
• Decoupled fitness criteria for reactive systems
• Verificaton, falsification, and cancellation in KT

This page was built for publication: Quantitative Verification of Weighted Kripke Structures

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