ACSAR: Software Model Checking with Transfinite Refinement

By Mohamed Nassim Seghir, Andreas Podelski. SPIN, 2007

631 citations recorded by the source corpus.

Subfields: Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/bf29b26433aa5d7814c237ac8cd9a01fde3461bc