Author:
Clochard Martin,Filliâtre Jean-Christophe,Paskevich Andrei
Publisher
Springer International Publishing
Reference11 articles.
1. Bloch, J.: Nearly all binary searches and mergesorts are broken (2006).
http://googleresearch.blogspot.com/2006/06/extra-extra-read-all-about-it-nearly.html
2. Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Miné, A., Monniaux, D., Rival, X.: The Astrée static analyzer.
http://www.astree.ens.fr/
3. Cordeiro, L., Fischer, B., Marques-Silva, J.: SMT-based bounded model checking for embedded ANSI-C software. In: Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, ASE 2009, pp. 137–148. IEEE Computer Society, Washington, DC (2009)
4. Tuch, H., Klein, G., Norrish, M.: Types, bytes, and separation logic. In: Hofmann, M., Felleisen, M. (eds.) Proceedings of 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2007), pp. 97–108, Nice, France, January 2007
5. Lecture Notes in Computer Science;J-C Filliâtre,2013
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献