Induction Duality: Primal-Dual Search for Invariants

Date

January, 2022

Authors

• Oded Padon
• James R. Wilcox
• Jason R. Koenig
• Kenneth L. McMillan
• Alex Aiken

Related projects

• Verified Systems Software

Type

Article

Journal

Proc. ACM Program. Lang. (POPL 2022)