Login / Signup
A Modeling Concept for Formal Verification of OS-Based Compositional Software.
Leandro Batista Ribeiro
Florian Lorber
Ulrik Nyman
Kim Guldstrand Larsen
Marcel Baunach
Published in:
FASE (2023)
Keyphrases
</>
formal verification
model checking
program slicing
model checker
automated verification
bounded model checking
modeling language
software tools
software systems
open source
operating system
software development
software maintenance
software design
symbolic model checking
description languages
computer systems