Specification and verification of railway safety-critical systems using TLA

Giulio Salierno, Sabatino Morvillo, Letizia Leonardi, Giacomo Cabri

Browse the full WETICE paper archive.