ABZ 2025 – 11th International Conference on Rigorous State Based Methods