Partners


LaBRI

The BraVAS participants from LaBRI bring their expertise in infinite-state model-checking, data-bases formal verification, and vector addition systems.

LSV

The BraVAS participants from LSV bring their expertise in infinite-state model-checking, well-quasi-order theory, complexity theory, and vector addition systems.

CRIStAL

The BraVAS participant from CRIStAL brings his expertise in logic, model-checking, and databases.