Modularization of formal specifications or efficient synthesis of reactive systems-Reference-Cited by-同舟云学术

Modularization of formal specifications or efficient synthesis of reactive systems

Published:2017 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 6th International Conference on Software and Computer Applications - ICSCA '17
language:
Short-container-title:

Author:

Shimakawa Masaya¹,Osari Kenji²,Hagihara Shigeki¹,Yonezaki Naoki³

Affiliation:

1. Tokyo Institute of Technology, Ookayama, Tokyo, Japan

2. Yahoo! JAPAN Corporation

3. Tokyo Denki University, Chiba, Japan

Publisher

ACM Press

Reference26 articles.

1. M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable specifications of reactive systems. InProc. 16th International Colloquium on Automata, Languages, and Programming, volume 372 of LNCS, pages 1--17. Springer, 1989.

2. T. Aoshima and N. Yonezaki. Verification of reactive system specification with outer event conditional formula. In Proc.International Symposium on Principles of Software Evolution (ISPSE2000), pages 195--199, 2000.

3. D. Arthur and S. Vassilvitskii. K-means++: The advantages of careful seeding. In Proc.18th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA2007), pages 1027--1035, 2007.

4. A. Bhery, S. Hagihara, and N. Yonezaki. A formal system for analysis of cryptographic encryption and their security properties. In Proc.Software Security - Theories and Systems, volume 3233 of LNCS, pages 87--112. Springer, 2004.

5. A. Bohy, V. Bruyère, E. Filiot, N. Jin, and J.-F. Raskin. Acacia+, a tool for LTL synthesis. In Proc.24th International Conference on Computer Aided Verification, volume 7358 of LNCS, pages 652--657. Springer, 2012.

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

1. Towards Efficient Implementation of Realizability Checking for Reactive System Specifications;Proceedings of the 2019 8th International Conference on Software and Computer Applications;2019-02-19

2. Efficiency of the strong satisfiability checking procedure for reactive system specifications;AIP Conference Proceedings;2018