Model Checking and the State Explosion Problem
By Edmund M. Clarke, William Klieber, Milos Novácek, Paolo Zuliani. Workshop on Learning from Authoritative Security Experiment Results, 2011
342 citations recorded by the source corpus.
Subfields: Computational Theory and Mathematics, Software
View Paper: https://www.semanticscholar.org/paper/136a721c4686e57285ddfcb67a8833a477effe43
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Computational Theory and Mathematics
In Software
Citations in the corpus
- HardFails: Insights into Software-Exploitable Hardware Bugs (2019, background): “Bugs #9, 10, 11, 16, 26, and 28 are such examples.”