Bounded Strong Satisfiability Checking of Reactive System Specifications-Reference-Cited by-同舟云学术

Bounded Strong Satisfiability Checking of Reactive System Specifications

Published:2014 Issue:7 Volume:E97.D Page:1746-1755
ISSN:0916-8532
Container-title:IEICE Transactions on Information and Systems
language:en
Short-container-title:IEICE Trans. Inf. & Syst.

Author:

SHIMAKAWA Masaya¹,HAGIHARA Shigeki¹,YONEZAKI Naoki¹

Affiliation:

1. Department of Computer Science, Tokyo Institute of Technology

Publisher

Institute of Electronics, Information and Communications Engineers (IEICE)

Subject

Artificial Intelligence,Electrical and Electronic Engineering,Computer Vision and Pattern Recognition,Hardware and Architecture,Software

Link

https://www.jstage.jst.go.jp/article/transinf/E97.D/7/E97.D_1746/_pdf

Reference28 articles.

1. [1] D. Jackson, Software Abstractions: Logic, Language, and Analysis, The MIT Press, 2006.

2. [2] M. Abadi, L. Lamport, and P. Wolper, “Realizable and unrealizable specifications of reactive systems,” Proc. 16th International Colloquium on Automata, Languages, and Programming, LNCS, vol.372, pp.1-17, Springer, 1989.

3. [3] A. Pnueli and R. Rosner, “On the synthesis of a reactive module,” Proc. 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.179-190, ACM, 1989.

4. [4] A. Biere, A. Cimatti, E.M. Clarke, and Y. Zhu, “Symbolic model checking without BDDs,” Proc. 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, LNCS, vol.1579, pp.193-207, Springer, 1999.

5. [5] R. Mori and N. Yonezaki, “Several realizability concepts in reactive objects,” Proc. Information Modeling and Knowledge Bases IV: Concepts, Methods and Systems, pp.407-424, IOS Press, 1993.

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

1. Efficient Realizability Checking by Modularization of LTL Specifications;The Computer Journal;2021-09-03

2. 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

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

4. Modularization of formal specifications or efficient synthesis of reactive systems;Proceedings of the 6th International Conference on Software and Computer Applications - ICSCA '17;2017

5. Web server access trend analysis based on the Poisson distribution;Proceedings of the 6th International Conference on Software and Computer Applications - ICSCA '17;2017