Modal transition systems with weight intervals

DOI10.1016/J.JLAP.2012.03.008MaRDI QIDQ444490zbMATH OpenOpenAlexFDO

Authors Line Juhl, Jiří Srba, Kim G. Larsen

Publication date 14 August 2012

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2012.03.008

zbMATH Keywords

model checkingrefinementaction-based CTLdeterministic specificationsmodal transition systemsweighted transition systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Weighted modal transition systems
• Quantitative refinement for weighted modal transition systems
• Distribution of Modal Transition Systems
• Parametric modal transition systems
• Parametric and quantitative extensions of modal transition systems
• Quantitative analysis of weighted transition systems
• Quantitative Modal Transition Systems
• Reasoning about bounds in weighted transition systems
• Structural Operational Semantics for Weighted Transition Systems
• A complete approximation theory for weighted transition systems

Cites work

• scientific article; zbMATH DE number 1693039 (Why is no real title available?)
• scientific article; zbMATH DE number 3714896 (Why is no real title available?)
• scientific article; zbMATH DE number 1759610 (Why is no real title available?)
• scientific article; zbMATH DE number 1863177 (Why is no real title available?)
• scientific article; zbMATH DE number 5585443 (Why is no real title available?)
• 20 years of modal and mixed specifications.
• ACTLW -- an action-based computation tree logic with unless operator
• Automata, Languages and Programming
• CCS expressions, finite state processes, and three problems of equivalence
• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
• Comparing disjunctive modal transition systems with an one-selecting variant
• Handbook of weighted automata
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Mixed Transition Systems Revisited
• Modal Abstractions of Concurrent Behaviour
• On determinism in modal transition systems
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• Refinement and Consistency of Timed Modal Specifications
• Three Partition Refinement Algorithms

Cited in

(10)

• Refinement checking on parametric modal transition systems
• Weighted modal transition systems
• Modal transition system encoding of featured transition systems
• General quantitative specification theories with modal transition systems
• Quantitative refinement for weighted modal transition systems
• Dual-priced modal transition systems with time durations
• Parametric and quantitative extensions of modal transition systems
• Distribution of Modal Transition Systems
• scientific article; zbMATH DE number 6987096 (Why is no real title available?)
• Extending modal transition systems with structured labels

Describes a project that uses

Uses Software

• ACTLW

This page was built for publication: Modal transition systems with weight intervals

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