Formal Verification of Railway Interlockings: a Compositional Approach Based on a Library of Pre-verified Components.

Christophe Limbre, Anne E. Haxthausen, Gloria Gori, Alessandro Fantechi

Browse the full ISoLA paper archive.