Simple on-the-fly automatic verification of linear temporal logic.

Rob Gerth Doron A. Peled Moshe Y. Vardi Pierre Wolper

Published in: PSTV (1995)

Keyphrases

linear temporal logic
general purpose
temporal logic
knowledge base