Expanding Specification Capabilities of a Gradual Verifier with Pure Functions

Doruk Alp Mutlu

Gradual verification soundly combines static checking and dynamic checking to provide an incremental approach for software verification. With gradual verification, programs can be…