Better be safe than sorry.
SMT-based verification of parameterized MASs
via the MCMT model checker
SAFE Data is a data-aware extension of the Swarm Safety Detector, currently in development. It considerably extends the basic setting, paving the way for several data-aware extensions in which agents will have private and shared data storages and will be able to use dedicated communication channels.
A further extension that SAFE Data will allow is the ability to use object variables, which makes possible to symbolically and effortlessly encode very large numbers of actions, which must be encoded explicitly in SAFE Base.
better be safe than sorry