Enhancing Models Correctness through Formal Verification: A Case Study from the Railway Domain.

Davide Basile, Felicita Di Giandomenico, Stefania Gnesi

Browse the full MODELSWARD paper archive.