Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report.

Gustav Ung, Jesper Amilon, Dilian Gurov, Christian Lidstrm, Mattias Nyberg, Karl Palmskog

Browse the full RE paper archive.