Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation

Vignesh Manjunath, Konrad Diwold, Marcel Carsten Baunach

Research output: Contribution to conference › Abstract › peer-review

Active
CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software
Baunach, M. C., Manjunath, V., Nagarajan, D. & Krisper, M.
1/11/20 → 31/03/25
Project: Research project
Embedded Automotive Systems
Baunach, M. C., Batista Ribeiro, L., Martins Gomes, R., Malenko, M., Scheipel, T. P., Saikia, A., Nagarajan, D., Manjunath, V., Kissich, M. & Kanics, K.
1/09/14 → …
Project: Research area
Finished
Embedded Operating Systems
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/15 → 31/12/23
Project: Research project

Projects