(19)
(11) EP 3 482 292 A1

(12)

(43) Date of publication:
15.05.2019 Bulletin 2019/20

(21) Application number: 17749209.7

(22) Date of filing: 06.07.2017
(51) International Patent Classification (IPC): 
G06F 9/44(2018.01)
G06F 11/36(2006.01)
(86) International application number:
PCT/GB2017/051996
(87) International publication number:
WO 2018/007822 (11.01.2018 Gazette 2018/02)
(84) Designated Contracting States:
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR
Designated Extension States:
BA ME
Designated Validation States:
MA MD

(30) Priority: 08.07.2016 GB 201611967

(71) Applicants:
  • Cocotec Limited
    Oxford OX2 9GC (GB)
  • Oxford University Innovation Limited
    Oxford OX1 2JD (GB)

(72) Inventors:
  • BROADFOOT, Guy Hampson
    2370 Arendonk (BE)
  • GIBSON-ROBINSON, Thomas Derek
    Kidlington OX5 1SH (GB)
  • HOPCROFT, Philippa Jane
    Kidlington OX5 1SH (GB)
  • ROSCOE, Andrew William
    Oxford OX4 4ED (GB)

(74) Representative: Ahmad, Sheikh Shakeel et al
Keltie LLP No.1 London Bridge
London SE1 9BA
London SE1 9BA (GB)

   


(54) AN INTEROPERABLE EXTENSIBLE SYSTEM FOR THE GENERATION OF VERIFIED SOFTWARE CODE