|
|||||
|
|
Model Checking Quantitative Linear Time Logic |
|
| Authors: | Marco Faella, Axel Legay,Marië lle Stoelinga |
| Affiliation: | aUniversità di Napoli “Federico II”, Italy;bUniversity of Liège, Belgium;cUniversity of Twente, The Netherlands |
| Abstract: | This paper considers QLtl, a quantitative analagon of Ltl and presents algorithms for model checking QLtl over quantitative versions of Kripke structures and Markov chains. |
| Keywords: | Linear temporal logic Quantitative verification Automata |
| 本文献已被 ScienceDirect 等数据库收录！ | |