Sign in
A three-valued model abstraction framework for PCTL* stochastic model checking.
Yang Liu
Yan Ma
Yongsheng Yang
Published in:
Autom. Softw. Eng. (2022)
Keyphrases
</>
model checking
verification method
model checker
temporal properties
temporal logic
finite state machines
modal logic
process algebra
pspace complete
epistemic logic
finite state
artificial intelligence
software architecture
heuristic search
process model
np complete
search algorithm