Our products

Read more about the solutions our platform offers.

Model based testing

Blank

Our platform tests your system more thoroughly than ever before. Test cases are automatically generated and executed based on formal specifications.

Read more about model based testing.

Protocol testing

Blank

Our platform is unrivalled in testing communicating systems. All possible interactions are derived and tested using a formal specification of the protocol.

Read more about protocol testing.

The calculation engine

Blank

Our calculation engine enables domain experts to specify and automate (actuarial) computation rules. Using our platform, they can automatically generate and test working software.

Read more about the calculation engine.

The document box

Blank

The document box makes it very easy for domain experts to specify, test and create a document-generation service for legal documents, letters, policies and more.

Read more about the document box.

Work in progress

Blank

The English translation of our product pages is still work in progress. Come back later for more or visit the Dutch pages.