Avoidance of State Explosion Using Dependency Analysis in Model Checking Control Flow Model.

Sachoun Park, Gihwon Kwon

Browse the full ICCSA paper archive.