Victoria Johnson, Pedro Ribeiro 0002, Simon Foster 0001, Peter Nightingale, Felix Ulrich-Oltean. Verifying Properties of State-Based Models Using Constraint Programming. In Fuyuki Ishikawa, Alcino Cunha, editors, Rigorous State-Based Methods - 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, Proceedings. Volume 16579 of Lecture Notes in Computer Science, pages 89-107, Springer, 2026. [doi]
Abstract is missing.