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.
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.