Klocwork

swMATH26814MaRDI QIDQ38543FDOQ38543

Author name not available (Why is that?)

Official website: https://www.roguewave.com/products-services/klocwork

Cited In (7)

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

This page was built for software: Klocwork