City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Автоматизация доказательств (линейная целочисленная арифметика, интеграция с решателями), плагин Equations, рандомизированное тестирование, мутационные техники, экстракция
Introduction to Formal Verification

What: Lecture
When: Thursday, 20 May 2021, 22:30–00:00
Where: Конференция в zoom, Онлайн

Video