Full-program induction: verifying array programs sans loop invariants

Public

Published in International Journal on Software Tools for Technology Transfer • Sep 29, 2022

Authors:

Supratik Chakraborty

,

Ashutosh Gupta

,

Divyesh Unadkat

Subject

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!