Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse. Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. In Eckehard Schnieder, Géza Tarnai, editors, FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010. pages 145-153, Springer, 2010. [doi]
Abstract is missing.