Nazish Yousaf, Muhammad Waseem Anwar, Farooque Azam, Wasi Haider Butt. A Comprehensive Investigation of Formal System Verification Tools and Approaches. In Kohei Arai, Supriya Kapoor, Rahul Bhatia, editors, Intelligent Systems and Applications - Proceedings of the 2018 Intelligent Systems Conference, IntelliSys 2018, London, UK, September 6-7, 2018, Volume 2. Volume 869 of Advances in Intelligent Systems and Computing, pages 1245-1255, Springer, 2018. [doi]
Abstract is missing.