3 citations · 4 across the 2 of their papers we have counts for
1 paper · 1 filter
Vrunda Dave, Taylor Dohmen, Shankara Narayana Krishna +1
Regular model checking is an exploration technique for infinite state systems where state spaces are represented as regular languages and transition relations are expressed using r…