https://www.electronicdesign.com/sites/all/themes/penton_subtheme_electronicdesign/images/logos/footer.png

Electronic Design is part of the Business Intelligence Division of Informa PLC

  • Informa PLC
  • About us
  • Investor relations
  • Talent

This site is operated by a business or businesses owned by Informa PLC and all copyright resides with them. Informa PLC's registered office is 5 Howick Place, London SW1P 1WG. Registered in England and Wales. Number 8860726.

Discover:
  • Design & Learning Center
  • Find Parts
  • Electronic Design Connect
  • Design for High Frequency
  • Design with Mechanical
  • Design for Power Management
  • Electronics Procurement
  • More
    Menu
    Log In or Register
    • Automotive
    • Industrial Automation
    • Analog
    • Power
    • Embedded Revolution
    • Test & Measurement
    • Resources
    • Experts
    • Design & Learning Center
    • Find Parts
    • Design for High Frequency
    • Design with Mechanical
    • Design for Power Management
    • Electronics Procurement
    • Magazine
    • Newsletter
    • Webinars
    • White Papers
    • Design FAQs
    • Basics of Design
    • About Us
    • Contact
    • Advertise
    • Content Licensing
    • Privacy Statement
    • Terms of Service
    • Cookie Policy
    • Ad Choices
    Electronic Design
    • Search
    • Log In
    • Register
    Sponsored Content
    Technologies>Embedded Revolution

    On-Demand Webcast: Building High-Assurance Software without Breaking the Bank

    Sponsored by AdaCore

    Jan 23, 2017

    AdacoreDespite the growing need to make software "bullet proof" against increasingly complex requirements and pervasive security attacks, testing can only go so far. Fortunately, formal program verification, which offers a practical complement to testing, and available technologies, like the SPARK toolset, can address specific requirements for robustness and functional correctness. In this webcast, you will learn the current status of the SPARK solution and how it can be successfully adopted in your current software development processes to address security concerns while keeping the cost of testing at an acceptable level.

     
    TAGS: Webcasts
    Related
    Simplified Wi-Fi Service Discovery
    Simplified Wi-Fi Service Discovery
    Feb 22, 2019
    Qualcomm_Millimeter_Wave_Antenna
    Qualcomm Introduces its First Multimode 5G Modem
    Feb 21, 2019
    Nvidia's Colossal Growth Starts Losing Steam
    Feb 19, 2019
    Catching Bugs Without Really Trying
    Catching Bugs Without Really Trying
    Feb 16, 2019
    Logo
    Powered by Informa
    • About Us
    • Contact
    • Advertise
    • Newsletter
    • Sitemap
    • Ad Choices
    • Privacy Policy
    • Terms of Service
    • Cookie Policy

    Follow us:

    © 2019 Informa USA, Inc., All Rights Reserved