S Sheerazuddin | DeepAI

DeepAI

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

Featured Co-authors

S Anand
2 publications
Tephilla Prince
2 publications
Ramchandra Phawade
1 publication
R S Anish Badhri
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

∙ 12/01/2018

A Scheme to Verify Services with Unboundedly many Clients using NuSMV

We study model checking of client - server systems, where the servers of...

0 S Sheerazuddin, et al. ∙