A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions-Reference-Cited by-同舟云学术

A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions

Published:2018-11-19 Issue:1 Volume:13 Page:51-72
ISSN:2095-2228
Container-title:Frontiers of Computer Science
language:en
Short-container-title:Front. Comput. Sci.

Author:

Ogata Kazuhiro

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science

Link

http://link.springer.com/article/10.1007/s11704-017-7036-2/fulltext.html

Reference26 articles.

1. Ogata K, Zhang M. A divide & conquer approach to model checking of liveness properties. In: Proceedings of the 37th Annual IEEE Computer Software and Applications Conference. 2013, 648–657

2. Ogata K. Model checking liveness properties under fairness & antifairness assumptions. In: Proceedings of the 20th Asia-Pacific Software Engineering Conference. 2013, 565–570

3. Manna Z, Pnueli A. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer Science & Business Media, 1992, 16

4. Lamport L. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co., Inc., 2002

5. Clarke EM, Grumberg O, Peled D A. Model Checking. Massachusetts: MIT Press, 1999

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12

2. A Generic Approach on How to Formally Specify and Model Check Path Finding Algorithms: Dijkstra, A* and LPA*;International Journal of Software Engineering and Knowledge Engineering;2020-10

3. Formal Specification and Model Checking of a Ride-sharing System in Maude;Structured Object-Oriented Formal Language and Method;2020