Walid Taha | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Amin Farjudian
5 publications
Eugenio Moggi
3 publications
Adam Duracz
2 publications
Sundas Munir
1 publication

research

∙ 01/15/2023

Pre-deployment Analysis of Smart Contracts – A Survey

Smart contracts are programs that execute transactions involving indepen...

0 Sundas Munir, et al. ∙

research

∙ 09/17/2017

Safe & Robust Reachability Analysis of Hybrid Systems

Hybrid systems - more precisely, their mathematical models - can exhibit...

0 Eugenio Moggi, et al. ∙