ilya42 9 December 2012 at 19:25 Исследование отношения популярных языков программирования к случайным ошибкамRating +28 Views 27.1k Add to bookmarks 50 Read comments 50
semen_grinshtein 29 September 2016 at 18:44 Позволит ли формальная верификация кода микроядра создавать сверхнадежные ОСRating +21 Views 11k Add to bookmarks 47 Read comments 28
Andrey2008 20 March 2018 at 14:59 PVS-Studio — дополнительная страховка медицинского программного обеспеченияRating +24 Views 4.3k Add to bookmarks 16 Read comments 5
Andrey2008 25 Jule 2018 at 10:48 PVS-Studio как SAST решениеRating +24 Views 2.2k Add to bookmarks 11 Read comments 8
