Form offers tailor-made solutions that integrate analytic methods into development trajectories. These solutions are a combination of model-based techniques that optimize system and business processes and that automatically detect errors. Our way of working is highly suitable for high-tech enterprises that manufacture embedded systems or develop mission critical applications. Form offers product quality improvement, lowers lead time development and reduces costs for testing through the push of a single button. Form believes that model based verification techniques can be applied on an industrial scale. Because the verification of a system inherently involves describing the essence of a system, we do not believe that all systems can be verified using a single tool. Any such tool would have to be able to capture the meaning of any domain, thus confusing the engineer with too many parameters, or depriving him of the possibility to describe his system at an appropriate level of abstraction. Verification significantly improves the quality of software and increases the speed of development. In our view, verification procedures for complex systems need to be tailored to the requirements of the engineers that develop those systems. Integration into a model-driven engineering approach should be possible, and the use of domain specific languages should be a primary means to achieve this.