Digiproto

DIGIPROTO founded in 2013 in Beijing, its software mainly focuses on the digital transformation of safety critical areas, provides MBSE products and solutions; proceeds a neutral and open business philosophy. Its software products are all coming from the independent research and development, with the core of intellectual property rights, involving high-end equipment manufacturing, research and testing. The registered capital of the company is 10 million Chinese yuan, headquartered in Shaoxing, Zhejiang with branch offices in Beijing and Shanghai. The founding team is from the system software and software engineering laboratory of the department of computer science at Tsinghua University, and the core technology team is from Tsinghua University, Peking University, Beihang University, Aerospace Technology Institute and other institutions, which is also in a top position in the fields of embedded virtualization, formal proof and symbolic execution. The open source projects are SkyEye, l2c, android_s2e are well known both domestic and abroad. Our products cover from the entire life cycle of model-based systems engineering (MBSE), providing complete solutions from requirements, design, development to testing. skyeye, l2c, android_s2e MBSE