1 citations · 1 across the 1 of their papers we have counts for
1 paper
Dirk Beyer, Marek Jankola, Marian Lingsch-Rosenfeld +2
Software verification is a complex problem, and verification tools need significant tuning to achieve high performance. Due to this, many verifiers choose to specialize on reachabi…