1 citations · 2 across the 5 of their papers we have counts for
1 paper · 2 filters
Jesper Amilon, Dilian Gurov
Model checking temporal properties of software is algorithmically hard. To be practically feasible, it usually requires the creation of simpler, abstract models of the software, ov…