Mohamed Faouzi Atig | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Pricing

Featured Co-authors

Adwait Godbole
3 publications
Parosh Aziz Abdulla
2 publications
Shankaranarayanan Krishna
2 publications
Viktor Vafeiadis
1 publication
Mihir Vahanwala
1 publication

research

∙ 05/28/2023

Overcoming Memory Weakness with Unified Fairness

We consider the verification of liveness properties for concurrent progr...

0 Parosh Aziz Abdulla, et al. ∙

research

∙ 07/20/2020

The Decidability of Verification under Promising 2.0

In PLDI'20, Lee et al. introduced the promising semantics PS 2.0 of the...

0 Parosh Aziz Abdulla, et al. ∙

Success!

An error occurred