The space where software solutions take shape

Spazio IT Offerings on Code Inspection

Spazio IT has two different offerings on Code Inspection:

  • Software Analyses (where the customer is mostly interested in the analyses results):
    • Architectural Analysis
    • Real Time / Schedulability Analysis
    • Standards and Guidelines Compliance Analysis (e.g. MISRA)
    • Bugs finding (e.g. Bounded Model Checking – CBMC, Abstract Execution – Frama-C, modern and effective static analysis – Clang Static Analyzer)
  • Code Quality Platforms Development and Deployment
    Spazio IT can develop for its customers Code Quality Platforms designed and tailored for their special needs. These Code Quality Platforms can be either

    Cloud Services are well suited for a low cost and low risk evaluation and adoption of Spazio IT technologies.

Leave a Reply

Your email address will not be published. Required fields are marked *