Csanád Telbisz
Csanád Telbisz
Why do we have an error location at all for verifying termination? If we do not need it (and only use the prop of XCFA which we discussed at the...
> How could we test this on SV-COMP? I don't expect it to be very useful, but maybe there are some interesting cases it can cover with SPOR. I send...
> > 4. Optionally extend these few lines to check if a safety proof is bounded, and return unknown if needed: > > I'm not sure this is needed, the...
This is perfect, thank you.