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