Maxterm Covering for Satisfiability von Liangze Yin, Fei He, Hung, William N. N., Xiaoyu Song, Ming Gu

Volltext

On Scheduling Constraint Abstraction for Multi-Threaded Program Verification von Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, Ji

Volltext

Efficient software product-line model checking using induction and a SAT solver von HE, Fei, GAO, Yuan, YIN, Liangze

Volltext

A True-Concurrency Encoding for BMC of Compositional Systems von Yin, Liangze, Dong, Wei, He, Fei, Wang, Ji

Volltext

Model and Practice of Crowd-Based Education von Mao, Xinjun, Lu, Yao, Yin, Liangze, Wang, Tao, Yin, Gang

Volltext

Evaluating and Integrating Diverse Bug Finders for Effective Program Analysis von Lu, Bailin, Dong, Wei, Yin, Liangze, Zhang, Li

Volltext

Modeling and Validation of PLC-Controlled Systems: A Case Study von Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Gu Ming, Bozga, Marius

Volltext bestellen

A Heterogeneous Multicore SoC Optimized for Embedded Visual Media Process von Yan, Ming, Li, Sikun, Shen, Jianliang, Xie, Lei, Liu, Lei, Wan, Guowei, Yin, Liangze

Volltext bestellen

VCS: A Verifier for Component-Based Systems von He, Fei, Yin, Liangze, Wang, Bow-Yaw, Zhang, Lianyi, Mu, Guanyu, Meng, Wenrui

Volltext

Compiling FL\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage... von Liu, Wanwei, Yin, Liangze, Li, Tun

Volltext

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification von Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, Ji

Volltext bestellen

Scheduling Constraint Based Abstraction Refinement for Multi-Threaded Program Verification von Yin, Liangze, Dong, Wei, Liu, Wanwei, Wang, Ji

Volltext

IC3 algorithm optimization method and system based on error state tree von CHEN ZHENBANG, LI TUN, YIN LIANGZE, LI YUHAN, LIU WANWEI, DONG WEI, WANG JI

Volltext bestellen

RISC-V architecture-oriented binary program verification method and system von YIN LIANGZE, WEN YANJUN, CHEN LIQIAN, DONG WEI, LI YIWEI, LI SHANSHAN, WANG JI

Volltext bestellen

IC3 accelerated verification method and system based on unsatisfactory core von CHEN ZHENBANG, YIN LIANGZE, GONG XINYI, LIU WANWEI, DONG WEI, WANG JI, LI SHANSHAN

Volltext bestellen

Interrupt-driven program-oriented register access conflict detection method von YIN LIANGZE, DU XIANG, WEN YANJUN, CHEN LIQIAN, DONG WEI, DING RANJIE, LIN WENFENG

Volltext bestellen

Parallel program incremental regression verification method based on refinement constraint reuse von CHEN ZHENBANG, YIN LIANGZE, CHEN LIQIAN, LIU WANWEI, DONG WEI, WANG JI

Volltext bestellen

Method and device for automatically generating agent behavior tree program based on formal verification von CHEN ZHENBANG, YIN LIANGZE, WEN YANJUN, CHEN LIQIAN, LIU WANWEI, DONG WEI, WANG JI, LI SHANSHAN, HONG WEIJIANG, MAO XIAOGUANG

Volltext bestellen

Software forced safety protection method based on external environment model learning von YIN LIANGZE, TAO CHONGMIN, ZHOU GE, SHI HAO, LIU WANWEI, DONG WEI

Volltext bestellen

Method for automatically synthesizing multi-robot distributed controller from global task von CHEN ZHENBANG, YIN LIANGZE, LI RUI, ZHAO XUDONG, SHI HAO, CHEN LIQIAN, DONG WEI

Volltext bestellen