Better be safe than sorry.

SMT-based verification of parameterized MASs
via the MCMT model checker

Latest updates


March 2021: Migration to the new server completed. Some bug fixing with existential variables used in relations.

November 2020: SAFE Base is online.

June 2021: Added full support for disjunctive preconditions to SAFE Base.

August 2021: Added support in SAFE Base for preconditions with template variables appearing in relations.

August 2021: Added some support in SAFE Base for universal preconditions in local actions. The language of these universal conditions is still very limited. The concurrent semantics is still in development.

Safe Swarms Club

better be safe than sorry




SAFE For All
SAFE Data