Author:
Abdullin Azat,Stepanov Daniil,Akhin Marat
Publisher
Springer International Publishing
Reference19 articles.
1. Lecture Notes in Computer Science;C Calcagno,2015
2. Ayewah, N., Hovemeyer, D., Davidmorgenthaler, J., Penix, J., Pugh, W.: Experiences using static analysis to find bugs. IEEE Softw. 25, 22–29 (2008)
3. Akhin, M., Belyaev, M., Itsykson, V.: Software defect detection by combining bounded model checking and approximations of functions. Autom. Control Comput. Sci. 48(7), 389–397 (2014)
4. Akhin, M., Belyaev, M., Itsykson, V.: Borealis bounded model checker: the coming of age story. In: Meyer, B., Mazzara, M. (eds.) PAUSE: Present And Ulterior Software Engineering. Springer, Cham (2017)
5. The TOP500 project. Polytechnic RSC Tornado (2016),
https://www.top500.org/system/178469/
. Accessed 22 Dec 2016