GAL

This artifact accompanies the tool paper titled “GALTOSM: A Graphand Logic Transformation Based Toolkit for Software Model Checking”,submitted to ATVA 2025 with submission number 5790. It includes allnecessary source code and a reproduction package supporting the claimsmade in the paper. Reproducing the case studies requires model checkingtools such as CADP (version 2024-k ”Eindhoven”) and STORM (version1.9.0). Although the toolkit also supports integration with PRISM andmCRL2, these tools are not directly involved in the results claimed in thepaper.There are no strict hardware requirements to run the toolkit; machineswith higher capacity can process larger models, while lower-capacity sys-tems may be limited to smaller ones. We have carried out all the casestudy experiments in an Ubuntu 22.04.5 LTS machine with CPU Intel®Xeon(R) Silver 4314 CPU @ 2.40GHz × 64 and 640.0 GiB, 1TB, primaryand SSD memory.This artifact contains a README.txt file and a READ DIRECTORY.pdffile in every directory for better understanding. The source code is wellcommented and the README files describe the alignment of the sourcecode with the objective and the functionalities provided by the tool.