Analysis of Interrupt Behavior Based on Probabilistic Model Checking.

Gang Hou Weiqiang Kong Kuanjiu Zhou Jie Wang Xun Cao Akira Fukuda

Published in: IIAI-AAI (2018)

Keyphrases

model checking
temporal logic
finite state
formal verification
abstract interpretation
artificial intelligence
formal specification
model checker
asynchronous circuits
temporal properties
transition systems
search algorithm
epistemic logic
bounded model checking
computation tree logic