A Modal Logic for pi-Calculus and Model Checking Algorithm.

Taolue Chen Tingting Han Jian Lu

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

model checking
temporal logic
modal logic
dynamic programming
epistemic logic
verification method
computation tree logic
binary decision diagrams
symbolic model checking
transition systems
bounded model checking