73 citations · 149 across the 21 of their papers we have counts for
1 paper · 1 filter
Silvio Ghilardi, Silvio Ranise
The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure a…