Model Checking Approach for Deadlock Detection in an Operating System Process-Resource Graph Using Dynamic Model Generating and Computation Tree Logic Specification.

Thitivatr Patanasakpinyo

Browse the full CATA paper archive.