A Layered and Parallelized Method of Eventual Model Checking.

Yati Phyo Moe Nandi Aung Canh Minh Do Kazuhiro Ogata

Published in: Inf. (2023)

Keyphrases

model checking
verification method
dynamic programming
knowledge base
markov chain
np complete
temporal logic