Skip to content
The Nexus
DossierENTITY

software verification

Coverage of software verification in the Nexus archive.

Earliest in view: Aug 5 · 04:00 UTCMost recent: Aug 5 · 04:00 UTC
Co-mentioned in this coverage
Wang Jiperson1National University of Defence Technologyorganization1military softwaretopic1Chinaplace1
Recent coverage
  • TECHNOLOGYAug 5 · 04:00 UTCSCMP CHINA
    How an amputee Chinese scientist is fortifying the country’s military software

    Wang Ji, a computer science researcher at the National University of Defence Technology, is advancing military software verification in China. Despite losing both legs to a life-threatening emergency, he continues mentoring scientists to apply precise methods to defense software akin to medical diagnostics.

software verification · Dossier · The Nexus