Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP.

Yanhong Huang Haiping Pang Jianqi Shi

Published in: Formal Aspects Comput. (2020)

Keyphrases

asynchronous circuits
constraint satisfaction problems
np complete
operating system
database
data sets
learning algorithm
lower bound
arc consistency
modeling method
decomposition methods