Parameterized model checking of rendezvous systems
-
Published:2017-06-06
Issue:3
Volume:31
Page:187-222
-
ISSN:0178-2770
-
Container-title:Distributed Computing
-
language:en
-
Short-container-title:Distrib. Comput.
Author:
Aminof Benjamin, Kotek Tomer, Rubin Sasha, Spegni FrancescoORCID, Veith Helmut
Funder
Austrian Science Fund Istituto Nazionale di Alta Matematica “Francesco Severi” Università Politecnica delle Marche
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science
Reference53 articles.
1. Abdulla, P.A., Atig, M.F., Rezine, O.: Verification of directed acyclic ad hoc networks. In: Beyer, D., Boreale, M. (eds) Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, 3-5 June 2013, Proceedings, pp. 193–208, Springer, Berlin, Heidelberg (2013). doi: 10.1007/978-3-642-38592-6_14 2. Aminof, B., Jacobs, S., Khalimov, A., Rubin, S.: Parameterized model checking of token-passing systems. In: McMillan, K.L., Rival, X. (eds.) Verification, Model Checking, and Abstract Interpretation—15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19–21, 2014, Proceedings, Volume 8318 of Lecture Notes in Computer Science, pp. 262–281. Springer (2014) 3. Aminof, B., Kotek, T., Rubin, S., Spegni, F., Veith, H.: Parameterized model checking of rendezvous systems. In: Baldan, P., Gorla, D. (eds.) CONCUR 2014—Concurrency Theory—25th International Conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings, Volume 8704 of Lecture Notes in Computer Science, pp. 109–124. Springer (2014) 4. Aminof, B., Murano, A., Rubin, S., Zuleger, F.: Verification of asynchronous mobile-robots in partially-known environments. In: PRIMA 2015: Principles and Practice of Multi-agent Systems—18th International Conference, Bertinoro, Italy, October 26–30, 2015, Proceedings, pp. 185–200 (2015) 5. Aminof, B., Murano, A., Rubin, S., Zuleger, F.: Automatic verification of multi-agent systems in parameterised grid-environments. In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, Singapore, May 9–13, 2016, pp. 1190–1199 (2016)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
|
|