Invariant Synthesis for Combined Theories-Reference-Cited by-同舟云学术

Invariant Synthesis for Combined Theories

Published:2007 Issue: Volume: Page:378-394
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Beyer Dirk,Henzinger Thomas A.,Majumdar Rupak,Rybalchenko Andrey

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69738-1_27

Reference23 articles.

1. Ball, T., Rajamani, S.K.: The Slam project: Debugging system software via static analysis. In: Proc. POPL, pp. 1–3. ACM, New York (2002)

2. Lecture Notes in Computer Science;A.R. Bradley,2005

3. Chang, C.C., Keisler, H.J.: Model Theory, 3rd edn. North-Holland, Amsterdam (1990)

4. Collins, G.E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition. In: Automata Theory and Formal Languages, pp. 134–183. Springer, New York (1975)

5. Lecture Notes in Computer Science;M. Colón,2003

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

1. Demystifying Template-Based Invariant Generation for Bit-Vector Programs;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

2. What Else is Undecidable About Loops?;Relational and Algebraic Methods in Computer Science;2023

3. Neural termination analysis;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07

4. Full-program induction: verifying array programs sans loop invariants;International Journal on Software Tools for Technology Transfer;2022-09-29

5. Petri Net Invariant Synthesis;Networked Systems;2021