Axini B.V.

16 employees

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

Basic info

computer software

model-gebaseerd testen

model-checking

model based testing

protocol testen

Pensions

URM

domein-specifieke talen

model based working

model-gebaseerd werken

domain specific languages

Software

rekenbox

computation engine

2007