1 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
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…