Christian Lidström | DeepAI

DeepAI

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

Featured Co-authors

Philipp Rümmer
16 publications
Dilian Gurov
9 publications
Zafer Esen
2 publications
Jesper Amilon
1 publication

research

∙ 05/26/2023

Automatic Program Instrumentation for Automatic Verification (Extended Technical Report)

In deductive verification and software model checking, dealing with cert...

0 Jesper Amilon, et al. ∙

research

∙ 01/15/2021

An Abstract Contract Theory for Programs with Procedures

When developing complex software and systems, contracts provide a means ...

0 Christian Lidström, et al. ∙