Author:
Alberti Francesco,Bruttomesso Roberto,Ghilardi Silvio,Ranise Silvio,Sharygina Natasha
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Reference78 articles.
1. Abdulla PA, Jonsson B (1996) Verifying programs with unreliable channels. Inf Comput 127(2):91–101
2. Aho AV, Lam MS, Sethi R, Ullman JD (2007) Compilers: principles, techniques, and tools, 2nd edn. Pearson-Addison Wesley.
3. Albarghouthi A, Gurfinkel A, Chechik M (2012) Craig interpretation. In: Miné A, Schmidt D (eds) SAS. Springer, Lecture Notes in Computer Science, pp 300–316
4. Alberti F, Bruttomesso R, Ghilardi S, Ranise S, Sharygina N (2012) Lazy abstraction with interpolants for arrays. In: Bjørner N, Voronkov A (eds) LPAR, Lecture Notes in Computer Science, vol 7180, pp 46–61. Springer.
5. Alberti F, Bruttomesso R, Ghilardi S, Ranise S, Sharygina N (2012) SAFARI: SMT-based abstraction for arrays with interpolants. In: Madhusudan P, Seshia SA (eds) CAV., Lecture Notes in Computer Science, vol 7358, Springer, Berlin, pp 679–685
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献