Partners


LaBRI

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

Former members

LMF

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

Former members

CRIStAL

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