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