Author:
Alur Rajeev,Courcoubetis Costas,Dill David
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. R. Alur, C. Courcoubetis, D. Dill, “Model-checking for real-time systems,” 5th LICS, 1990.
2. R. Alur, D.L. Dill, “Automata for modeling real-time systems,” 17th ICALP, In Lecture Notes in Computer Science, 443, 1990.
3. R. Alur, T.A. Henzinger, “A really temporal logic,” 29th FOCS, 1989.
4. J.R. Burch, E.M. Clarke, K.L. McMillan, D.L. Dill, L.J. Hwang, “Symbolic modelchecking: 1020 states and beyond,” 5th LICS, 1990.
5. E.M. Clarke, E.A. Emerson, A.P. Sistla, “Automatic verification of finite-state concurrent systems using temporal logic specifications,” ACM TOPLAS 8(2), 1986.
Cited by
70 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Integrating Process Mining with Probabilistic Model Checking via Continuous Time Markov Chains;2023 Congress in Computer Science, Computer Engineering, & Applied Computing (CSCE);2023-07-24
2. Hybrid Automata in Systems Biology;Systems Biology Modelling and Analysis;2022-11-18
3. Temporal logic in a stochastic environment;Time and Logic;2019-10-24
4. A Hierarchy of Scheduler Classes for Stochastic Automata;Lecture Notes in Computer Science;2018
5. Model Checking;Real-Time Embedded Systems;2017-07-14