R&D  >  IV&V

RESEARCH & DEVELOPMENT

Independent Verification & Validation (IV&V)

Taking Advantage of Formal Verification 

OVERVIEW

Formal verification, such as that provided in seL4, is being used to harden military systems. Formal verification provides proofs of application correctness, for robust, secure applications. However, formal verification is not proof against all vulnerabilities. Our proven expertise in IV&V of formally verified systems provides system developers and stakeholders confidence that they are taking advantage of the benefits formal verification provides.

KEY FEATURES
  • AIS has been providing IV&V of seL4 based formally verified systems since 2014
  • Extensive experience with systems assessment in the form of
    • IV&V
    • Secure design consultation
    • Red teaming
    • Penetration testing
    • Functional validation

Download the Infosheet

Reach Out Today

Push your mission forward with the right partner.
CONTACT US
Privacy Settings
We use cookies to enhance your experience while using our website. If you are using our Services via a browser you can restrict, block or remove cookies through your web browser settings. We also use content and scripts from third parties that may use tracking technologies. You can selectively provide your consent below to allow such third party embeds. For complete information about the cookies we use, data we collect and how we process them, please check our Privacy Policy
Youtube
Consent to display content from - Youtube
Vimeo
Consent to display content from - Vimeo
Google Maps
Consent to display content from - Google
Spotify
Consent to display content from - Spotify
Sound Cloud
Consent to display content from - Sound
Save