Our products

Read more about the solutions our platform offers.

Model based testing


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


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


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


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


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