Matthias Harvey

According to our database, Matthias Harvey authored at least 2 papers between 2016 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking.

Nils Timm, Stefan Gruner, Matthias Harvey

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

2016

A Bounded Model Checker for Three-Valued Abstractions of Concurrent Software Systems.

Nils Timm, Stefan Gruner, Matthias Harvey

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016