Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness.

Vignesh Manjunath, Tobias Scheipel, Marcel Baunach

Browse the full SAC paper archive.