Towards Automated Software Verification Using Model Checking Techniques.

Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani

Browse the full TASE paper archive.