Blueprint workload

This page lists the specifications that VerifyTAPN is expected to work on, or is its creator.

VerifyTAPN is not currently responsible for any specifications that meet your criteria.

Team member workload

The following people are all members of the VerifyTAPN team in Launchpad. We list each of their specification workloads so that you can get a sense of the overall workload balance.

Jiri Srba has no outstanding specifications.

Kenneth Yrke Jørgensen has no outstanding specifications.

TAPAAL Maintainers has no outstanding specifications.