CTL Model Checking for Boolean Program.

Taehoon Lee, Gihwon Kwon, Hyuksoo Han

Browse the full ICCSA paper archive.