Frontends.rst

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