Login / Signup
Matthias Harvey
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 2
Top Topics
Formal Verification
Software Systems
Temporal Logic
Model Checking
Top Venues
SBMF
</>
Publications
</>
Nils Timm
,
Stefan Gruner
,
Matthias Harvey
Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking.
SBMF
(2018)
Nils Timm
,
Stefan Gruner
,
Matthias Harvey
A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems.
SBMF
(2016)