Digiproto Information

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. 迪捷软件2013年成立于北京，专注于安全关键领域的数字化转型，提供安全关键领域的MBSE产品和解决方案，遵循中立开放的商业理念。其软件产品全部为自主研发，具有核心知识产权，涉及了高端装备的设计、研发和测试等环节。公司注册资金为1000万，总部位于浙江省绍兴市，在北京、上海等设有分公司。 创始团队来自于清华大学计算机系的系统软件和软件工程研究室，核心技术团队来自于清华、北大、北航、航天院所等单位，在嵌入式虚拟化、形式化证明和符号执行等领域处于国内领先地位。发起的开源项目有skyeye, l2c, android_s2e等，在国内外有较高知名度。 公司产品涵盖了基于模型的系统工程（MBSE）的整个生命周期，从需求、设计、开发到测试的各个环节，均提供完整的解决方案。