Brandon Moore | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jing Chen
30 publications
Ştefan Ciobâcă
10 publications
Karl Palmskog
9 publications
Traian Florin Serbanuta
5 publications
Grigore Rosu
4 publications
Lucas Peña
4 publications
Michael Stay
3 publications
Radu Mereuta
2 publications
Andrei Stefanescu
2 publications
Mihai Calancea
1 publication
Denisa Diaconescu
1 publication

research

∙ 02/25/2022

VLSM: Validating Labelled State Transition and Message Production Systems

In this paper we introduce the notion of a validating labelled state tra...

0 Vlad Zamfir, et al. ∙

research

∙ 07/11/2019

Towards a Verified Model of the Algorand Consensus Protocol in Coq

The Algorand blockchain is a secure and decentralized public ledger base...

0 Musab A. Alturki, et al. ∙

research

∙ 10/25/2018

All-Path Reachability Logic

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

0 Andrei Stefanescu, et al. ∙

Success!

An error occurred