zbMath0961.68085MaRDI QIDQ4494388
Moshe Y. Vardi, Orna Kupferman
Publication date: 28 May 2001
zbMATH Keywords
temporal-logic model-checking
Mathematics Subject Classification ID
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic