Author:
Dobrikov Ivaylo,Leuschel Michael,Plagge Daniel
Publisher
Springer International Publishing
Reference15 articles.
1. Baier, C., Katoen, J.-P.: Principles of Model Checking. The MIT Press, Cambridge (2008)
2. Chouali, S., Julliand, J., Masson, P.-A., Bellegarde, F.: Pltl-partitioned model checking for reactive systems under fairness assumptions. ACM Trans. Embed. Comput. Syst. 4(2), 267–301 (2005)
3. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: Nusmv: a new symbolic model checker. Int. J. Softw. Tools Technol. Transf. 2(4), 410–425 (2000)
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
5. Francez, N.: Fairness. Springer-Verlag New York Inc., New York (1986)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Temporal Logic Extension of the RISCAL Model Checker;2022 IEEE 16th International Scientific Conference on Informatics (Informatics);2022-11-23
2. Prototyping Games Using Formal Methods;Communications in Computer and Information Science;2021