We apply formal methods to provide deep insight into the functionality of your software-based system.
Based on more than 30 years of experience in the application, research and teaching of formal methods, we choose an appropriate method, provide detailed planning and cost-effective execution.
A formal model provides an abstraction of a system based on logic and mathematics. Verifying system requirements about a formal model provides high assurance about the workings of system features that are critical for project success and competitiveness of a product.
Formal assurance can be instrumental in different phases of the system lifecycle, including early design, code quality assurance, system certification and enhancement.
A formal model of key features at a high level of abstraction provides early feedback regarding essential requirements and serves as a basis to explore design alternatives.
Certification at high evaluation assurance levels requires critical requirements to be formally verified against a formal model of the certified system.
Formal code verification provides a precise understanding of the functional effect and the application conditions of a highly optimized, possibly concurrent algorithm.
An existing formal model of a system can serve as a solid basis to analyze the impact of proposed changes on the validity of key requirements and the interaction of system features.
Our services include consulting for adequate project setup, hands-on work building a formal model and verifying critical requirements, as well as training for individuals and groups targeting different levels of proficiency.
Contact us for more information.
How to employ formal methods to address key concerns of your project?
Let us help you make the right choices and guide you through the process of applying formal methods successfully.
Need to understand formal methods at a technical level?
We offer trainings from introductory courses to hands-on workshops tailored to the neeeds of your organization.
Formal methods are the right choice for your project?
We cover the entire project lifecycle from choosing the right level of abstraction to model, selecting adequate modeling techniques and tools, to actually constructing the model and formally verifying its desired properties.
Dr.-Ing. Thomas Santen, Diplom-Informatiker
Independent IT consultant
contact@formalassurance.com