Boogie IVL front-ends

Dafny

Todo

Briefly discuss and provide link to paper and website

Joogie

Todo

Briefly discuss and provide link to paper and website

GPUVerify

Todo

Briefly discuss and provide link to paper and website

SMACK

Todo

Briefly discuss and provide link to paper and website

VCC

Todo

Briefly discuss and provide link to paper and website