Model Checking as a Service using Dynamic Resource Scaling

Publication
27th IEEE International Conference on High Performance Computing, Data, and Analytics, HiPC 2020, Pune, India, December 16-19, 2020
Venkatesh Choppella
Venkatesh Choppella
Associate Professor

My research interests include Programming languages, S/W architectures, Formal Methods, CS education