Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B

Faron Moller, Hoang Nga Nguyen, Markus Roggenbach, Steve Schneider, Helen Treharne. Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. In Armin Biere, Amir Nahir, Tanja E. J. Vos, editors, Hardware and Software: Verification and Testing - 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers. Volume 7857 of Lecture Notes in Computer Science, pages 193-208, Springer, 2012. [doi]

Abstract

Abstract is missing.