欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
QNX是商业实时操作系统，主要针对嵌入式系统市场。该产品开发于20世纪80年代初，后来改名为QNX软件系统公司，公司已被黑莓公司并购。
