Contents Menu Expand Light mode Dark mode Auto light/dark, in light mode Auto light/dark, in dark mode Skip to content
adacovex latest documentation
adacovex latest documentation

adacovex Documentation

  • Documentation index

Getting started

  • Installing adacovex
  • Target project requirements

Using adacovex

  • adacovex CLI Reference
  • Web dashboard and JSON API
  • The sbom subcommand
  • Compliance Standards (DO-178C / ISO 26262 / IEC 62304)
  • Platform support
  • VCS support and differential assessment
  • adacovex CI/CD
  • adacovex Changelogs

Contributing to adacovex

  • Contributor guide: codebase structure and setup
  • Proving and writing SPARK proofs
  • adacovex Architecture Decisions
  • Dependencies
  • Performance
  • A gnatprove-friendly IR for lowered code
  • STE100 Technical Names for adacovex
  • AI / LLM Usage in this Project

Maintainer references

  • Proof Records
  • Compliance Outputs
  • Badges
  • adacovex API Reference
  • Credits
  • Third-Party Notices
Back to top
Copyright © bladeacer
Made with Sphinx and @pradyunsg's Furo