Deciding branching time properties for asynchronous programs.

Rohit Chadha Mahesh Viswanathan

Published in: Theor. Comput. Sci. (2009)

Keyphrases

desirable properties
structural properties
model checking
temporal logic
knowledge base
image sequences
information technology
fixpoint
imperative programs