Organisation: Software Verification and Validation Research Group (SVV)

  • Research Projects Pages

    Program analysis for regulatory compliance assessment of FinTech Software (RegCheck)

    RegCheck ensures GDPR compliance by extracting rules, analysing code, and mapping legal terms to software, developing tools for automated privacy checks.

    Learn more
  • Core Research Projects

    Program analysis for regulatory compliance assessment of FinTech Software (RegCheck)

    RegCheck ensures GDPR compliance by extracting rules, analysing code, and mapping legal terms to software, creating tools for automated privacy checks.

    Learn more
  • News

    Canada and SnT on the same wavelength

    Learn more
  • News

    Automating Financial Regulatory Processes with Software Engineering

    Learn more
  • Research Projects Pages

    Commercialisation of an Application for Requirements Engineering (DRONA)

    A digital assistant that provides semi-automated support for the definition of system requirements, their verification and the generation of documents.

    Learn more
  • Core Research Projects

    Commercialisation of an Application for Requirements Engineering (DRONA)

    A digital assistant that provides semi-automated support for the definition of system requirements, their verification and the generation of documents.

    Learn more
  • News

    Enhancing Reliability of Real-time Systems

    Learn more