Model Checking as a Service using Dynamic Resource Scaling

Surya Teja Palavalasa, Yuvraj Singh, Adhish Singla, Suresh Purini, Venkatesh Choppella
January 2020
Cite DOI URL
Type
Conference
Publication
27th IEEE International Conference on High Performance Computing, Data, and Analytics, HiPC 2020, Pune, India, December 16-19, 2020