evolcSign inStart free
Menu

Drisq

Formal verification tools for embedded software developers in safety- and security-critical industries

Malvern, United KingdomFounded 2011drisq.comWebsite technologies

+ Add to sales board

Highlights

  • New on EvolcAdded 2026-11-06

About Drisq

D-RisQ develops software and systems verification tools using formal methods. Its products support requirements capture and automatic verification of Simulink and Stateflow designs, generated C code, and executable object code.

The tools are aimed at software engineers and developers, including organisations in aerospace, defence, automotive, medical, nuclear, transport, and cybersecurity. The company also provides project support and consultancy.

Drisq Ltd was founded in 2011 and is based in Malvern, Worcestershire, UK. The company states that its tools build on government-backed defence software developed over more than 30 years.

Product: A suite of formal-methods software tools for requirements capture and automated verification of embedded software designs and code.

Jobs at Drisq

No open positions listed right now.

Leadership

More developer tools companies

  • Ediblesites

    Pay-as-you-go fax service and outbound fax API for businesses and healthcare developers, plus free developer testing tools
    London, United KingdomDeveloper toolsFounded 2019
    New on Evolc

  • Emenda

    Static analysis and code-understanding tools for safety-critical software teams, plus training and certification support
    Swindon, United KingdomDeveloper toolsFounded 2005
    New on Evolc

  • Epimorphics

    Linked-data software, platforms and consulting for public bodies, regulators and other organisations
    Bristol, United KingdomDeveloper toolsFounded 2009
    New on Evolc

  • Eve-NG

    Network emulation software for network, security and DevOps professionals
    London, United KingdomDeveloper toolsFounded 2016
    New on Evolc

  • Facedownfx

    Flipbook and motion-vector software for VFX and technical artists
    Bedford, United KingdomDeveloper toolsFounded 2016
    New on Evolc

  • FACES27

    Software development and consulting for esports, gaming, live entertainment and technology businesses
    London, United KingdomDeveloper toolsFounded 2023
    Young companyNew on Evolc

All developer tools companies →

Website technologies

Tools and platforms detected on this company’s website, grouped by purpose. Dates record when Evolc observed them.

Analytics

  • Google Analytics 4High confidence
    First detected
    Last detected
    Last checked
    Detection evidence
  • HotjarMedium confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Content delivery

Content management

  • WebflowHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Forms

  • Google reCAPTCHAHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Hosting

  • AWSHigh confidence
    First detected
    Last detected
    Last checked
    Detection evidence

Website detection does not establish a paid subscription or company-wide use. Tools loaded after consent or sign-in may be missed. “No longer observed” does not prove the company stopped using a tool.