Author:
Gange Graeme,Navas Jorge A.,Schachte Peter,Søndergaard Harald,Stuckey Peter J.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Competition on software verification (SV-COMP) (2016). http://sv-comp.sosy-lab.org/2016/ . Benchmarks https://github.com/sosy-lab/sv-benchmarks/c . Accessed 30 Mar 2016
2. Briggs, P., Torczon, L.: An efficient representation for sparse sets. ACM Lett. Program. Lang. Syst. 2(1–4), 59–69 (1993)
3. Lecture Notes in Computer Science;A Chawdhary,2014
4. Cherkassky, B.V., Goldberg, A.V.: Negative-cycle detection algorithms. Math. Program. 85(2), 277–311 (1999)
5. Lecture Notes in Computer Science;S Cotton,2006
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Identifying Minimal Changes in the Zone Abstract Domain;Theoretical Aspects of Software Engineering;2023
2. A Fresh Look at Zones and Octagons;ACM Transactions on Programming Languages and Systems;2021-09-30
3. Learning fast and precise numerical analysis;Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation;2020-06-06
4. Memory-Efficient Fixpoint Computation;Static Analysis;2020
5. Differentially testing soundness and precision of program analyzers;Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis;2019-07-10