Reverse Dependencies of CoVeriTeam

The following projects have a declared dependency on CoVeriTeam:

• python-liv — Generating verification conditions out of C programs.