# Axini

> Axini is een Nederlands softwarebedrijf (opgericht in 2007, Amsterdam) dat organisaties helpt complexe software sneller en beter te testen met model-based testing (MBT). Het Axini Testplatform genereert automatisch testgevallen uit formele modellen en beantwoordt de vraag "did we build the thing right". Axini biedt daarnaast diensten rond testautomatisering, formeel testen van AI-systemen, workshops, quick scans en proof-of-concepts.

Kernbegrippen: model-based testing, modelgebaseerd testen, testautomatisering, test automation, next level test automation, formeel testen van AI, AI testing, formal AI testing, requirements coverage, symbolic transition systems, model checking.

Bewezen bij onder meer ProRail, Achmea, TKP en Thermo Fisher.

Contact: Rhijnspoorplein 10-38, 1018 TX Amsterdam, Nederland — +31 85 878 5641 — https://www.axini.com/contact

## Producten en diensten

- [Producten](https://www.axini.com/producten): Het Axini Testplatform, model-based testing en testautomatisering.
- [Diensten](https://www.axini.com/diensten): Advies, implementatie en begeleiding bij modelgebaseerd testen.
- [AI Testing](https://www.axini.com/ai-testing): Formeel testen en valideren van AI- en LLM-gebaseerde systemen, risico's, compliance (EU AI Act) en aanpak.
- [Demo](https://www.axini.com/demo): Live demonstratie van het testplatform.
- [Workshop](https://www.axini.com/workshop): Praktische workshop model-based testing.
- [Quick Scan](https://www.axini.com/quick-scan): Korte analyse van uw testproces en kwaliteitsrisico's.
- [Proof of Concept](https://www.axini.com/proof-of-concept): MBT toepassen op uw eigen systeem.

## Sectoren

- [Finance](https://www.axini.com/sectoren/finance): Testen van pensioen-, verzekerings- en banksystemen.
- [High-tech](https://www.axini.com/sectoren/high-tech): Testen van embedded en complexe technische systemen.
- [Vervoer & Infra](https://www.axini.com/sectoren/vervoer-infra): Testen van veiligheidskritische transport- en infrastructuursystemen.

## Klantcases

- [Klanten](https://www.axini.com/klanten): Overzicht van klanten en resultaten.
- [ProRail](https://www.axini.com/klantcases/prorail)
- [Achmea](https://www.axini.com/klantcases/achmea)
- [TKP](https://www.axini.com/klantcases/tkp)
- [Thermo Fisher](https://www.axini.com/klantcases/thermo-fisher)

## Over Axini

- [Over ons](https://www.axini.com/over-ons): Team, missie en werkwijze.
- [Tijdlijn](https://www.axini.com/over-ons/timeline): Geschiedenis van Axini sinds 2007.
- [Nieuws](https://www.axini.com/nieuws): Actuele berichten en publicaties.
- [Werken bij](https://www.axini.com/werken-bij): Vacatures.
- [Studenten](https://www.axini.com/studenten): Afstudeeronderwerpen en onderzoek rond formele methoden.
- [FAQ](https://www.axini.com/faq): Veelgestelde vragen over model-based testing.
- [Contact](https://www.axini.com/contact)

## Optional

- [Privacy](https://www.axini.com/privacy)