Model Checking as a Service using Dynamic Resource Scaling.

Surya Teja Palavalasa, Yuvraj Singh, Adhish Singla, Suresh Purini, Venkatesh Choppella

Browse the full HiPC paper archive.