Parametric temporal logic for "model measuring".

Rajeev Alur Kousha Etessami Salvatore La Torre Doron A. Peled

Published in: ACM Trans. Comput. Log. (2001)

Keyphrases

temporal logic
satisfiability problem
verification method