Functional synthesis for linear arithmetic and sets-Reference-Cited by-同舟云学术

Functional synthesis for linear arithmetic and sets

Published:2011-11-22 Issue:5-6 Volume:15 Page:455-474
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Kuncak Viktor,Mayer Mikaël,Piskac Ruzica,Suter Philippe

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/content/pdf/10.1007/s10009-011-0217-7.pdf

Reference69 articles.

1. Anand, S., Godefroid, P., Tillmann, N.: Demand-driven compositional symbolic execution. In: Tools and Algorithms for the Construction and Analysis of Systems (2008)

2. Asarin, E., Maler, O., Pnueli, A.: Symbolic controller synthesis for discrete and timed systems. In: Hybrid Systems II, pp. 1–20 (1995)

3. Banerjee U.K.: Dependence Analysis for Supercomputing. Kluwer, Norwell (1988)

4. Boigelot B., Jodogne S., Wolper P.: An effective decision procedure for linear arithmetic over the integers and reals. ACM Trans. Comput. Log. 6(3), 614–633 (2005)

5. Bradley A.R., Manna Z.: The Calculus of Computation. Springer, Berlin (2007)

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

1. Functional Synthesis with Examples;Lecture Notes in Computer Science;2019

2. Lazy but Effective Functional Synthesis;Lecture Notes in Computer Science;2019

3. Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts;Tools and Algorithms for the Construction and Analysis of Systems;2018

4. Refutation-based synthesis in SMT;Formal Methods in System Design;2017-02-16

5. Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems;Computer Aided Verification;2016