Generalization strategies for the verification of infinite state systems

Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni. Generalization strategies for the verification of infinite state systems. TPLP, 13(2):175-199, 2013. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.