Author:
Stepanov Daniil,Akhin Marat,Belyaev Mikhail
Publisher
Springer International Publishing
Reference21 articles.
1. Clang static analyzer. http://clang-analyzer.llvm.org/ (2019). Accessed 20 Feb 2019
2. Aiken, A., Bugrara, S., Dillig, I., Dillig, T., Hackett, B., Hawkins, P.: An overview of the saturn project. In: Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pp. 43–48. ACM (2007)
3. Akhin, M., Belyaev, M., Itsykson, V.: Borealis bounded model checker: the coming of age story. Present and Ulterior Software Engineering, pp. 119–137. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-67425-4_8
4. Lecture Notes in Computer Science;A Armando,2006
5. Ball, T., Rajamani, S.K., Rajamani, S., Ball, T.: SLIC: a specification language for interface checking (of c). Microsoft Research (2002)