Matthias Gudemann | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Daniel Kroening
36 publications
Rajdeep Mukherjee
14 publications
Eugene Goldberg
11 publications
Peter Schrammel
7 publications

research

∙ 12/30/2022

BlueCov: Integrating Test Coverage and Model Checking with JBMC

Automated test case generation tools help businesses to write tests and ...

0 Matthias Gudemann, et al. ∙

research

∙ 11/15/2017

Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version)

We consider the problem of efficiently checking a set of safety properti...

0 Eugene Goldberg, et al. ∙