VICO: demand-driven verification for improving compiler optimizations.

Sharjeel Khan Bodhisatwa Chatterjee Santosh Pande

Published in: ICS (2022)

Keyphrases

demand driven
programming language
general purpose
database systems
software systems
formal methods
signature verification
verification method