Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Lecture Notes in Computer Science;H. Amjad,2009
2. Atig, M.F., Bouajjani, A., Burckhardt, S., Musuvathi, M.: On the verification problem for weak memory models. In: POPL 2010, pp. 7–18. ACM (January 2010)
3. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: A static analyzer for large safety-critical software. In: PLDI 2003, pp. 196–207. ACM (June 2003)
4. Carré, J.-L., Hymans, C.: From single-thread to multithreaded: An efficient static analysis algorithm. Technical Report arXiv:0910.5833v1, EADS (October 2009)
5. Cousot, P.: Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. Theoretical Computer Science 277(1-2), 47–103 (2002)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Structural Analysis of GRAFCET Control Specifications;2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA);2023-09-12
2. Concrat: An Automatic C-to-Rust Lock API Translator for Concurrent Programs;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
3. Abstract Interpretation: From 0, 1, to $$\infty $$;Intelligent Systems Reference Library;2023
4. Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
5. Synthesizing Locally Symmetric Parameterized Protocols from Temporal Specifications;Form Comp Aid Design;2022