Login / Signup
Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures.
Panqing Zhang
Jiulei Jiang
Zhanyou Ma
Heng Zhu
Published in:
DASC/PiCom/DataCom/CyberSciTech (2019)
Keyphrases
</>
model checking
verification method
dynamic programming
optimal solution
deterministic finite automaton
temporal logic
search space
np hard
transition systems
formal verification
process algebra
timed automata