14 citations · 18 across the 6 of their papers we have counts for
1 paper · 1 filter
María Del Mar Gallardo, Christophe Joubert, Pedro Merino
The well-known problem of state space explosion in model checking is even more critical when applying this technique to programming languages, mainly due to the presence of complex…