Extended Computation Tree Logic

Roland Axelsson Matthew Hague Stephan Kreutzer Martin Lange Markus Latte

Published in: CoRR (2010)

Keyphrases

computation tree logic
model checking
temporal logic
bounded model checking
epistemic logic
image processing