Quantitative refinement for weighted modal transition systems

DOI10.1007/978-3-642-22993-0_9MaRDI QIDQ3088029zbMATH OpenOpenAlexFDO

Authors Sebastian S. Bauer, Uli Fahrenberg, Line Juhl, Axel Legay, Claus Thrane, Kim G. Larsen

Publication date 17 August 2011

Published in Mathematical Foundations of Computer Science 2011 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22993-0_9

zbMATH Keywords

modal specificationsquantitative reasoningreducing complexity of design

Mathematics Subject Classification ID

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

Recommendations

• Weighted modal transition systems
• General quantitative specification theories with modal transition systems
• General quantitative specification theories with modalities
• Modal specification theories for component-based design
• Modal transition systems with weight intervals

Cited in

(13)

• Compositionality for quantitative specifications
• Approximate weighted model integration on DNF structures
• Computing branching distances with quantitative games
• Weighted modal transition systems
• Refinement checking on parametric modal transition systems
• Quantitative Modal Transition Systems
• General quantitative specification theories with modalities
• An inductive approach for modal transition system refinement
• General quantitative specification theories with modal transition systems
• scientific article; zbMATH DE number 1066727 (Why is no real title available?)
• Modal transition systems with weight intervals
• Distribution of Modal Transition Systems
• Parametric and quantitative extensions of modal transition systems

This page was built for publication: Quantitative refinement for weighted modal transition systems

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