Nathan Wasser | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Eduard Kamburjan
10 publications
Dominic Steinhöfel
3 publications

research

∙ 08/09/2022

The Right Kind of Non-Determinism: Using Concurrency to Verify C Programs with Underspecified Semantics

We present a novel and well automatable approach to formal verification ...

0 Eduard Kamburjan, et al. ∙

research

∙ 10/05/2021

Deductive Verification of Programs with Underspecified Semantics by Model Extraction

We present a novel and well automatable approach to formal verification ...

0 Eduard Kamburjan, et al. ∙

research

∙ 02/03/2020

Treating for-Loops as First-Class Citizens in Proofs

Indexed loop scopes have been shown to be a helpful tool in creating sou...

0 Nathan Wasser, et al. ∙

research

∙ 01/21/2019

Technical Report: Using Loop Scopes with for-Loops

Loop scopes have been shown to be a helpful tool in creating sound loop ...

0 Nathan Wasser, et al. ∙