RebecAI is a multi-agent orchestration system that leverages large language models alongside formal methods to transform maritime safety rules expressed in Legata/COLREG formal specifications into verifiable Rebeca actor models. It automates model checking workflows using the Rebeca Model Checker (RMC), enabling systematic verification of system properties automated reporting of verification outcomes.
The implementation and source code for this project are available at the link below. All relevant materials, models, and transformation scripts can be accessed for further exploration and replication of the results.
Implementation and source code
Note that this is a fork of the original repository RebecAI and is released under the MIT License.
Relevant paper can be found here .