In this repository, you will find:

• The B2Scala tool, presented during the ICE 2024 workshop, located in the folder: ICE24_B2Scala_Tool

• The Timed_B2Scala tool, a companion tool for the extended version of the ICE'24 paper, submitted to the JLAMP journal.

Should you need any further information or would you like to report bugs, do not hesitate to contact the authors, D. Ouardi at [email protected], Manel Barkallah at [email protected], and J.-M. Jacquet at [email protected].