Compositional model-checking verification of critical systems

Article

Abstract: Ensuring the correctness of Critical Systems (CS) becomes more complex if we consider that their beh

Palabras claves:

Case study, Compositional verification, Critical software systems, Formal Methods, Model-checking

Autores:

Benghazi-Akhlaki K., Luis Eduardo Mendoza Morales, Pérez M.A., Tuñón M.I.C.

Fuentes:

google

scopus