5 citations · 14 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020
Distributed Bounded Model Checking
Prantik Chatterjee, Subhajit Roy, Bui Phi Diep +1
Program verification is a resource-hungry task. This paper looks at the problem of parallelizing SMT-based automated program verification, specifically bounded model-checking, so t…
cs.PL2020
Building Reliable Cloud Services Using P# (Experience Report)
Pantazis Deligiannis, Narayanan Ganapathy, Akash Lal +1
Cloud services must typically be distributed across a large number of machines in order to make use of multiple compute and storage resources. This opens the programmer to several…