Distributed Bounded Model Checking
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 that it can be distributed and executed on a cluster of machines. We present an algorithm that dynamically unfolds the ca...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Published: |
2020
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2005.08063 http://arxiv.org/abs/2005.08063 |
| Tags: |
No Tags, Be the first to tag this record!
|