A Modeling Concept for Formal Verification of OS-Based Compositional Software.

Leandro Batista Ribeiro, Florian Lorber, Ulrik Nyman, Kim Guldstrand Larsen, Marcel Baunach

Browse the full FASE paper archive.