[SAL-HELP] sal-bmc

[Lucian-Mircea Patcas]

Hi,

Does the fact that sal-bmc did not find any counterexample for trajectories
of length k imply that there is no counterexample for shorter trajectories?
Is this anyhow different for safety properties than for liveness ones?

Thanks,
Lucian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.csl.sri.com/pipermail/sal-help/attachments/20061002/e5371b30/attachment.html