CBMC wins Gold in Falsification in 2017 SV-COMP

Дата публикации: 24-01-2017 12:00:00

CBMC has been declared the winner in the 2017 SV-COMP in the category Falsification.

Основное содержимое страницы с новостью.

Схожие новости

#	Наименование новости	Тональность	Информативность	Дата публикации
1	CBMC wins Gold in 2014 Software Verification Competition	0	9.6	09-12-2013
2	Best Paper win at the 2017 IEEE Security and Privacy Workshop	0	19.09	24-05-2017
3	The Virtual Assay software is the winner of the Safety Pharmacology Society Technological Innovation Award 2017	0	13.13	02-10-2017
4	Oxford Computer Science Conference 2017	0	30	13-06-2017
5	Industry showcase 2017	0	43.33	14-06-2017
6	Five papers from the department to be presented at CAV 2017	0	19.09	09-05-2017
7	BCS London Hopper Colloquium 2017	0	30	16-03-2017
8	Researchers represent our department at MozFest 2017	0	9.23	14-11-2017
9	Girlguiding Day 2017	0	43.33	15-02-2017
10	Российская компания VisionLabs выиграла международный конкурс по компьютерному зрению	0	0	13-03-2020

Классификация: Пресс-релизы. Схожих патентов: 0. Схожих новостей: 10. Тональность: 0. Информативность: 14.24. Источник: www.cs.ox.ac.uk.