Подписаться
Matthias Harvey
Matthias Harvey
Private
Подтвержден адрес электронной почты в домене teleth.com - Главная страница
Название
Процитировано
Процитировано
Год
A bounded model checker for three-valued abstractions of concurrent software systems
N Timm, S Gruner, M Harvey
Brazilian Symposium on Formal Methods, 199-216, 2016
52016
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking
N Timm, S Gruner, M Harvey
Brazilian Symposium on Formal Methods, 126-143, 2018
12018
A Bounded Model Checker for Three-Valued Abstractions of Software Systems–Proofs
N Timm, S Gruner, M Harvey
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–3