Author:
Fecher Harald,Shoham Sharon
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference39 articles.
1. Ball, T., Kupferman, O.: An abstraction-refinement framework for multi-agent systems. In: LICS, pp. 379–388. IEEE Computer Society Press, Washington, DC (2006)
2. Ball T., Kupferman O., Sagiv, M.: Leaping loops in the presence of abstraction. In: CAV, LNCS, vol. 4590, pp. 491–503. Springer, Berlin (2007)
3. Ball, T., Podelski, A., Rajamani, S.K.: Boolean and Cartesian abstraction for model checking C programs. In: TACAS, LNCS, vol. 2031, pp. 268–283. Springer, Berlin (2001)
4. Clarke, E., Jain, H.,Kroening, D.: Predicate abstraction and refinement techniques for verifying verilog. Technical report CMU- CS-04-139 (2004)
5. Clarke, E.M., Emerson E.A.: Design and synthesis of synchronization skeletons using branching-time temporal logic. In: Logic of Programs, LNCS, vol. 131, pp. 52–71. Springer, Berlin (1982)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Strategy synthesis for linear arithmetic games;Proceedings of the ACM on Programming Languages;2018-01
2. Abstraction in Fixpoint Logic;ACM Transactions on Computational Logic;2015-11-19
3. Model Checking Properties on Reduced Trace Systems;Algorithms;2014-07-08
4. A constraint-based approach to solving games on infinite graphs;ACM SIGPLAN Notices;2014-01-13
5. A constraint-based approach to solving games on infinite graphs;Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2014-01-08