Sitemap
Every page of this site in one hierarchical list, from products and technology to knowledge, evidence, company and legal pages.
Every page of this site, arranged the way the URLs are - sections first, their pages beneath them. Crawlers get the same information in machine-readable form from the XML sitemap declared in robots.txt.
- Home
- Verification for AI-based embedded development
- Measure the executable that actually ran
- The bug your tests never see
- Technology
- CEDARtools.Forge
- Products and engagement paths
- Integrations
- Knowledge base
- What embedded trace is, and what it is not
- The trace protocols, compared
- Why trace data is compressed, and what it costs you
- The trace port: pins, clocks and the decision you make once
- The kinds of code coverage, and what each one proves
- MC/DC, worked through
- What the standards actually require of structural coverage
- Dead code, deactivated code, and the rest
- What instrumentation costs, and when it is still the right answer
- Source attribution in trace-based code coverage
- What an assessor may ask
- Generation is not verification
- Observability: what a control-flow trace can show, and where source-level coverage breaks
- DWARF as a chain of trust
- Evaluating coverage tools for integration-level evidence: five questions that separate the claims
- Have you ever stepped through -O3 code?
- Multi-core WCET: combining analysis, scenarios and measurement
- Is this target traceable?
- Evidence
- About Accemic
- Talk to Accemic
- Security and data handling
- Articles
- Partner with Accemic
- Sitemap
- Accessibility
- Cookies and Local Browser Storage
- Imprint
- Privacy Notice
- Trademarks