At Adfove, your privacy is important to us. This policy applies to all personal data we collect and describes how we collect, store, and use (together “Process”) such data. “Personal data” means any information relating to an identified or identifiable individual. It does not include data relating to a business or similar entity.
At Adfove, your privacy is important to us. This policy applies to all personal data we collect and describes how we collect, store, and use (together “Process”) such data. “Personal data” means any information relating to an identified or identifiable individual. It does not include data relating to a business or similar entity.
At Adfove, your privacy is important to us. This policy applies to all personal data we collect and describes how we collect, store, and use (together “Process”) such data. “Personal data” means any information relating to an identified or identifiable individual. It does not include data relating to a business or similar entity.
Services
Model-Based Engineering
We offer rigorous software development techniques using a formal specification language, including skills for writing modular, hierarchical, and comprehensible formal specifications, evolving informal specifications to semi-formal and then to formal ones, transforming structured abstract design into an object-oriented detailed design, and transforming detailed design into object-oriented programs.
Reliable Code Development
We improve the rigor and comprehensibility of reviews by utilizing the formal proof and traditional review techniques as well as appropriate graphical notations. We propose various review methods, such as software reviews, walk-through, static analysis, and code inspection.
​
Formal Verification
Our tools execute an exhaustive mathematical analysis of the set of possible behaviors of the system. Our work addresses four approaches:
-
Methodological work to integrate these new verifications means into industrial processes while taking into account certification constraints;
-
Model driven engineering at platform level and transformations;
-
Cooperation of simulation techniques;
-
Automating test using formal methods.
Assessment and Certification
Our qualification processes cover quality management, development, verification, validation and safety management.
The qualification process is greatly simplified by our tool Qualification Kit and evaluation report provide details about our development processes to verify that the standards are compatible.