Chen-Kai Lin | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Huang
17 publications
Bow-Yaw Wang
4 publications
Ching-Chun
1 publication

research

∙ 05/16/2022

Analyzing FreeRTOS Scheduling Behaviors with the Spin Model Checker

FreeRTOS is a real-time operating system with configurable scheduling po...

0 Chen-Kai Lin, et al. ∙

research

∙ 08/07/2018

A Spin-based model checking for the simple concurrent program on a preemptive RTOS

We adapt an existing preemptive scheduling model of RTOS kernel by eChro...

0 Chen-Kai Lin, et al. ∙