Modal transition systems with weight intervals
From MaRDI portal
Publication:444490
DOI10.1016/j.jlap.2012.03.008zbMath1243.68215MaRDI 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
model checking; refinement; modal transition systems; action-based CTL; deterministic specifications; weighted transition systems
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Parametric and Quantitative Extensions of Modal Transition Systems, General quantitative specification theories with modal transition systems, Weighted modal transition systems, Refinement checking on parametric modal transition systems
Uses Software
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
