Verifying Multiple TLA+ Configurations with Blast. - Paul Somson; Alcino Cunha (FormaliSE, 2025)