Axini B.V.

16 employees

Axini creates a software engineering approach, technology, and tools for implementing academic formal methods technology.

Basic info

computer software

domain specific languages

model-checking

Software

model-gebaseerd werken

model based testing

URM

model-gebaseerd testen

computation engine

rekenbox

Pensions

domein-specifieke talen

model based working

protocol testen

2007