Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASACBMC has won the gold medal in the "Overall" category in the 2014 Software Verification Competition, held in conjunction with TACAS 2014. It won in total 6 medals, including Gold in "Recursion" and "HeapManipulation".
Department of Computer Science, University of Oxford
Posted: 9th December 2013
CBMC (a Bounded Model Checker for ANSI-C and C++ programs) has won the gold medal in the "Overall" category in the 2014 Software Verification Competition, held in conjunction with TACAS 2014 - the International Conference on Tools and Algorithms for the Construction and Analysis of Systems. It won in total 6 medals, including Gold in "Recursion" and "HeapManipulation".
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | CBMC wins Gold in Falsification in 2017 SV-COMP | 0 | 14.24 | 24-01-2017 |
| 2 | Daniel Kroening receives verification award | 0 | 8.58 | 21-12-2011 |
| 3 | Seven Comlab papers to be presented at TACAS 2010 | 0 | 6.36 | 21-12-2009 |
| 4 | Security research - recent highlights | 0 | 14.84 | 10-09-2014 |
| 5 | Oxford students win two golds at ACM International Collegiate Programming Contest: Northwestern Europe Regional Heats | 0 | 10 | 28-11-2016 |
| 6 | Oxford students took gold and came fourth in International Collegiate Programming Contest | 0 | 4.31 | 23-04-2024 |
| 7 | Oxford Computer Science Combines Growth and Quality in REF-2014 | 0 | 7.06 | 18-12-2014 |
| 8 | Computational Linguistics Group Success at ACL | 0 | 13.61 | 06-03-2014 |
| 9 | Six papers at TACAS 2016 | 0 | 10.94 | 20-12-2015 |
| 10 | Oxford team take gold medal in the Northwestern European Regional Programming Contest | 0 | 15.79 | 02-12-2025 |