Automatic model checking based defect detection

Computer Systems and Software
Authors:
Vladimir M. Itsykson Zaharov Alexey V. Akhin Marat K. Myasnov A.V.
Abstract:

Complex technique for software defect detection, based on model checking enhanced static analysis, is introduced in this article. Its usability is proven through function call protocol