David J. Pearce | DeepAI

DeepAI

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

Featured Co-authors

Jens Dietrich
11 publications
Franck Cassez
5 publications
Joanne Fuller
3 publications
Patrick Lam
2 publications
Milad K. Ghale
1 publication
Horacio M. A. Quiles
1 publication

research

∙ 03/01/2023

Formal and Executable Semantics of the Ethereum Virtual Machine in Dafny

The Ethereum protocol implements a replicated state machine. The network...

0 Franck Cassez, et al. ∙

research

∙ 08/17/2020

Putting the Semantics into Semantic Versioning

The long-standing aspiration for software reuse has made astonishing str...

0 Patrick Lam, et al. ∙