An Extension of Pushdown System and Its Model Checking Method.

Naoya Nitta Hiroyuki Seki

Published in: CONCUR (2003)

Keyphrases

model checking
verification method
temporal logic
artificial intelligence
computational complexity
formal specification
finite state
symbolic model checking
reachability analysis
computation tree logic