Popular repositories Loading

1. SVR-model-based-on-electronic-tongue-test SVR-model-based-on-electronic-tongue-test Public

   MATLAB code to estiablish the SVR model to predict the maturity level and human sensory evaluation based on electronic tongue test

   MATLAB 3

2. CPA4AV CPA4AV Public

   Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering

   C 3

3. SQLite3Check SQLite3Check Public

   SQLite3Check验证的调用SQLite3数据库API的C程序等价转换得到的MSVL程序，共30个

   M 2

4. -MSVL- -MSVL- Public

   使用MSVL程序描述多线程交替执行的模型，针对该模型，使用PPTL描述期望满足的周期重复的性质，进而使用基于多核的运行时验证方法对其进行验证

   Objective-C 1

5. DEF_LEAK- DEF_LEAK- Public

   C 1

6. Alternate-Execution-of-Multiple-Threads-in-a-C-Program- Alternate-Execution-of-Multiple-Threads-in-a-C-Program- Public

   使用C程序中的SuspendThread和ResumeThread函数实现多线程交替执行

   C++ 1 1