Modal transition systems with weight intervals

DOI10.1016/j.jlap.2012.03.008zbMath1243.68215OpenAlexW1987070417MaRDI QIDQ444490

Line Juhl, Jiří Srba, Kim Guldstrand 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 checkingrefinementmodal transition systemsaction-based CTLdeterministic specificationsweighted 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)

Related Items

General quantitative specification theories with modal transition systems ⋮ Weighted modal transition systems ⋮ Parametric and Quantitative Extensions of Modal Transition Systems ⋮ Unnamed Item ⋮ Refinement checking on parametric modal transition systems

Uses Software

• ACTLW

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Handbook of weighted automata
• On determinism in modal transition systems
• CCS expressions, finite state processes, and three problems of equivalence
• Comparing disjunctive modal transition systems with an one-selecting variant
• ACTLW -- an action-based computation tree logic with unless operator
• Quantitative \(\mu\)-calculus and CTL defined over constraint semirings
• Checking Thorough Refinement on Modal Transition Systems Is EXPTIME-Complete
• Modal Abstractions of Concurrent Behaviour
• Infinite Runs in Weighted Timed Automata with Energy Constraints
• Mixed Transition Systems Revisited
• Refinement and Consistency of Timed Modal Specifications
• Three Partition Refinement Algorithms
• Automata, Languages and Programming