Extensions of Temporal Logic for Counting with Applications to Model Verification.

Robert P. Kurshan Shlomit S. Pinter Baruch Solomon

Published in: PSTV (1989)

Keyphrases

temporal logic
verification method
model checking
model checker
query language
domain specific
concurrent systems