Marco Scaletta | DeepAI

DeepAI

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

Featured Co-authors

Eduard Kamburjan
10 publications
Dilian Gurov
9 publications
Reiner Hähnle
5 publications
Nils Rollshausen
1 publication
Richard Bubel
1 publication

research

∙ 11/17/2022

Towards Trace-based Deductive Verification (Tech Report)

Contracts specifying a procedure's behavior in terms of pre- and postcon...

0 Richard Bubel, et al. ∙

research

∙ 02/19/2021

Crowbar: Behavioral Symbolic Execution for Deductive Verification of Active Objects

We present the Crowbar tool, a deductive verification system for the ABS...

0 Eduard Kamburjan, et al. ∙