Hans-Dieter A. Hiep | DeepAI

DeepAI

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

Featured Co-authors

Marko van Eekelen
5 publications
Frank S. de Boer
5 publications
Stijn de Gouw
3 publications
Olaf Maathuis
1 publication
Jinting Bian
1 publication

research

∙ 09/16/2023

Dynamic Separation Logic

This paper introduces a dynamic logic extension of separation logic. The...

0 Frank S. de Boer, et al. ∙

research

∙ 11/11/2019

Verifying OpenJDK's LinkedList using KeY

As a particular case study of the formal verification of state-of-the-ar...

0 Hans-Dieter A. Hiep, et al. ∙