On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems-Reference-Cited by-同舟云学术

On Implementation of the Improved Assume-Guarantee Verification Method for Timed Systems

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the Tenth International Symposium on Information and Communication Technology - SoICT 2019
language:
Short-container-title:

Author:

Tran Hoang-Viet¹,Nguyen Quang-Trung²,Hung Pham Ngoc¹

Affiliation:

1. VNU University of Engineering and Technology, Hanoi, Vietnam

2. Vietnam University of Commerce, Hanoi, Vietnam

Publisher

ACM Press

Reference25 articles.

1. É. André and S.-W. Lin. Learning-based compositional parameter synthesis for event-recording automata. In A. Bouajjani and A. Silva, editors, Formal Techniques for Distributed Objects, Components, and Systems, pages 17--32, Cham, 2017. Springer International Publishing.

2. Y.-F. Chen, E. M. Clarke, A. Farzan, M.-H. Tsai, Y.-K. Tsay, and B.-Y. Wang. Automated assume-guarantee reasoning through implicit learning. In T. Touili, B. Cook, and P. Jackson, editors, Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pages 511--526. Springer Berlin Heidelberg, 2010.

3. E. M. Clarke, D. Long, and K. McMillan. Compositional model checking. In Proceedings of the Fourth Annual Symposium on Logic in Computer Science, pages 353--362, Piscataway, NJ, USA, 1989. IEEE Press.

4. E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching-time temporal logic. In Logic of Programs, Workshop, pages 52--71, London, UK, UK, 1982. Springer-Verlag.

5. E. M. Clarke, Jr., O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambridge, MA, USA, 1999.

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

1. Handling State Space Explosion in Component-Based Software Verification: A Review;IEEE Access;2021