Blueprint workload

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

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

Team member workload

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

Arild Haugstad has no outstanding specifications.

Christian Høgh Pedersen has no outstanding specifications.

Discrete Verification has no outstanding specifications.

Jakob Dyhr has no outstanding specifications.

Jakob Taankvist has no outstanding specifications.

Jiri Srba has no outstanding specifications.

Kenneth Yrke Jørgensen has no outstanding specifications.

Kristian Morsing Pedersen has no outstanding specifications.

Lena Ernstsen has no outstanding specifications.

Mads Johannsen has no outstanding specifications.

Marius Pallisgaard Olsen has no outstanding specifications.

Mathias Andersen has no outstanding specifications.

Mathias Grund Sørensen has no outstanding specifications.

Mikkel Holm Søgaard has no outstanding specifications.

Peter Gjøl Jensen has no outstanding specifications.

Peter Haahr Taankvist has no outstanding specifications.

TAPAAL Developers has no outstanding specifications.

TAPAAL Maintainers has no outstanding specifications.

Thomas Pedersen has no outstanding specifications.