Method for data contention testing and proof-generation, based on multithreaded program constraint construction

WO2016004808 Art A1 14. Januar 2016

Anmelder: Xi'an Jiaotong University 🇨🇳

Details

Veröffentlichungs-Nr.: WO2016004808
Aktenzeichen: EP15819663
Anmeldetag: 9. Juni 2015
Veröffentlichung: 14. Januar 2016
Rechtsraum: WO
IPC: G06F11/36

Offizieller Volltext

Abstract

Für dieses Patent liegt uns kein Abstract vor.

Anmelder

Firma: Xi'an Jiaotong University
Land: 🇨🇳 China

🇨🇳 Xi'an Jiaotong University

Die Xi'an Jiaotong University ist eine der führenden technischen Universitäten Chinas mit Sitz in Xi'an. Das Patentportfolio ist breit gestreut über Software und Datenverarbeitung, Mess- und Prüftechnik sowie Halbleiterbauelemente, ergänzt um Medizintechnik und elektrische Energietechnik. Anmeldungen erfolgen seit 2005 bis in die Gegenwart.

385 Patente in unserer Datenbank

Fachgebiete

Software & Datenverarbeitung

Vertreten von