Keyword:Computation Tree Logic

Publications
Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification Thitivatr Patanasakpinyo In:Proceedings of 34th International Conference on Computers and Their Applications