Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference70 articles.
1. Rigorous Software Development: An Introduction to Program Verification;Almeida,2011
2. A modular static analysis approach to affine loop invariants detection;Ancourt;Electron. Notes Theor. Comput. Sci.,2010
3. Basic concepts and taxonomy of dependable and secure computing;Avizienis;IEEE Trans. Dependable Secure Comput.,2004
4. A static analyzer for large safety-critical software;Blanchet,2003
5. A Computational Logic Handbook;Boyer,1988
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Invariant relations for affine loops;Acta Informatica;2024-05-13
2. Computing program functions;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18
3. Invarint Relations for Affine Loops;SSRN Electronic Journal;2022
4. Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis;2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C);2021-12