Klocwork

swMATH26814MaRDI QIDQ38543FDOQ38543

Author name not available (Why is that?)

Cited In (3)

• Implementation of the conformation of MSC and SDL diagrams in the REAL technology
• Runtime verification for dynamic architectures
• Model checking boot code from AWS data centers

This page was built for software: Klocwork