Formal safety proof: a real case study in a railway interlocking system.

Andrea Bonacchi

Browse the full ISSTA paper archive.