Automatic model checking based defect detection

Computer Systems and Software
Authors:
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