Project based on model checking.
Primary LanguageJava
有关智能家居互联安全验证的创新项目
使用Fsm与Lha两种方式进行检验
组长：王熙灶
组员：马娆 王亚楠 沈思远
指导老师：卜磊