Reverse Dependencies of BenchExec

The following projects have a declared dependency on BenchExec:

• CoVeriTeam — CoVeriTeam: On-Demand Composition of Cooperative Verification Systems
• fm-actor — no summary
• fm-tools — no summary
• test-runner — A small test runner library for Python testing