FormalSCMS Formal 2024