Tephilla Prince | DeepAI

DeepAI

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

Featured Co-authors

S Sheerazuddin
2 publications
Atif Abdur Rahman
1 publication
Sheerazuddin Syed
1 publication
Ramchandra Phawade
1 publication

research

∙ 09/13/2022

Bounded Model Checking for Unbounded Client Server Systems

Bounded model checking (BMC) is an efficient formal verification techniq...

0 Ramchandra Phawade, et al. ∙

research

∙ 07/04/2022

Formal Verification of Safety Properties Using Interpolation and k-induction

This technical report presents implementation of two symbolic model chec...

0 Tephilla Prince, et al. ∙