{% extends "_template.html" %} {% block title %}Tools for Formal Methods: Techniques and Supporting Tools{% endblock %} {% block content %}
{% for technique in techniques %}

{{technique}}

{{techniques[technique].description}}

Tools:

{% endfor %}
{% endblock %}