CUDA Acceleration of Worst-Case Execution Time Analysis Based On Model Checking.

Shang WanXin Tao Wu Yang Fei Chen Xi Jingjue Chen Zhenxia Yu

Published in: CBD (2022)

Keyphrases

model checking
temporal logic
formal verification
symbolic model checking
formal methods
dynamic analysis
model checker
temporal properties
computation tree logic
np hard
finite state
verification method
linear temporal logic
abstract interpretation