Shanghai Formal-Tech Information Technology

Shanghai Formal-Tech Information Technology Co., LTD provides high reliable industrial software and hardware, including the industrial controller programming software, real-time embedded system runtime, software modeling tools which support formal verification, I/O, field-bus devices and edge controllers. Formal-Tech was established by the core members of National Engineering & Technology Research Center of Trustworthy Embedded Software (CHINA) in 2015.