Andrei Stefanescu | DeepAI

DeepAI

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

Featured Co-authors

Ştefan Ciobâcă
10 publications
José Meseguer
8 publications
Traian Florin Serbanuta
5 publications
Grigore Rosu
4 publications
Brandon Moore
3 publications
Radu Mereuta
2 publications
Stephen Skeirik
2 publications

research

∙ 10/25/2018

All-Path Reachability Logic

This paper presents a language-independent proof system for reachability...

0 Andrei Stefanescu, et al. ∙

research

∙ 09/15/2017

A Constructor-Based Reachability Logic for Rewrite Theories

Reachability logic has been applied to K rewrite-rule-based language def...

0 Stephen Skeirik, et al. ∙