Treffer: On the Magnitude of Completeness Thresholds in Bounded Model Checking
Title:
On the Magnitude of Completeness Thresholds in Bounded Model Checking
Authors:
Source:
2012 27th Annual IEEE Symposium on Logic in Computer Science Logic in Computer Science (LICS), 2012 27th Annual IEEE Symposium on. :155-164 Jun, 2012
Relation:
2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012)
Database:
IEEE Xplore Digital Library