The International Arab Journal of Information Technology (IAJIT)

Home / Search for: computational tree logic

Toward Proving the Correctness of TCP Protocol Using CTL

Rafat Alshorman
#CTL # model checking # TCP protocols # correctness conditions # kripke structure

CTL Model Checking Based on Binary Classification of Machine Learning

Weijun Zhu,Huanmei Wu
#Model checking #computational tree logic #machine learning #binary classification
All Rights reserved to IAJIT 2024
Powered by: TurnPoint