Booster: An acceleration-based verification framework for array programs*

Francesco Alberti, Silvio Ghilardi, Natasha Sharygina

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint Dive into the research topics of 'Booster: An acceleration-based verification framework for array programs*'. Together they form a unique fingerprint.

Mathematics