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