Author:
Tian Cong,Duan Zhenhua,Zhang Nan
Subject
General Computer Science,Theoretical Computer Science
Reference16 articles.
1. Design and synthesis of of synchronization skeletons using branching time temporal logic;Clarke,1981
2. J.P. Quielle, J. Sifakis, Specification and verification of concurrent systems in CESAR, in: Proceedings of the 5th international symposium on programming, 1981, pp. 337–350.
3. E. Clarke, O. Grumberg, S. Jha, Y. Lu, H. Veith, Counterexample guided abstraction refinement, in: E. Emerson, A. Sistla (Eds.), Proc. 12th Int. Conf. Computer-Aided Verification, CAV00, vol. 1855, New York, 2000.
4. Semantical analysis of modal logic I: normal propositional calculi;Kripke;Z. Math. Logik Grund. Math.,1963
5. SAT based counterexample-guided abstraction-refinement;Clarke;IEEE Transactions on Computer Aided Design,2004
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Simplification of numeric variables for PLC model checking;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20
2. Testing file system implementations on layered models;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27
3. Model Checking Python Programs with MSVL;Structured Object-Oriented Formal Language and Method;2020
4. Formal Development and Verification of Reusable Component in PAR Platform;Structured Object-Oriented Formal Language and Method;2020
5. Formal Specification and Verification for Real-Time Scheduling Based on PAR;Structured Object-Oriented Formal Language and Method;2019