Author:
Lopes Nuno P.,Monteiro José
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference75 articles.
1. Aho, A.V., Lam, M.S., Sethi, R., Ullman, J.D.: Compilers: principles, techniques, and tools, 2nd edn. Addison-Wesley (2006)
2. Albarghouthi, A., Li, Y., Gurfinkel, A., Chechik, M.: UFO: a frame work for abstraction-and interpolation-based software verification. In: Proceedings of the 24th International Conference on Computer Aided Verification. Springer, Berlin, Heidelberg (2012)
3. Alias, C., Barthou, D.: On the recognition of algorithm templates. In: Proceedings of the 2nd International Workshop on Compiler Optimization Meets Compiler Verification. Elsevier, Amsterdam (2003)
4. Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. In: Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, New York (2002)
5. Barthe, G., D’Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: Proceedings of the 17th IEEE Workshop on Computer Security Foundations. IEEE Computer Society, Washington (2004)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Operationally-based program equivalence proofs using LCTRSs;Journal of Logical and Algebraic Methods in Programming;2023-10
2. Local Search For Satisfiability Modulo Integer Arithmetic Theories;ACM Transactions on Computational Logic;2023-07-25
3. Verification-Driven Design for Asynchronous VLSI;2023 28th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC);2023-07-16
4. SlowCoach: Mutating Code to Simulate Performance Bugs;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10
5. Local Search for SMT on Linear Integer Arithmetic;Computer Aided Verification;2022