Automated verification of pointer programs in pointer logic

Reasoning about pointer programs is difficult and challenging, while their safety is critical in software engineering. Storeless semantics pioneered by Jonkers provides a method to reason about pointer programs. However, the representation of memory states in Jonkers’ model is costly and redundant. This paper presents a new framework under a more efficient storeless model for automatically verifying properties of pointer programs related to the correct use of dynamically allocated memory such as absence of null dereferences, absence of dangling dereferences, absence of memory leaks, and preservation of structural invariants. The introduced logic-Pointer Logic, is developed to achieve such goals. To demonstrate that Pointer Logic is a useful storeless approach to verification, the Schorr-Waite tree-traversal algorithm which is always considered as a key test for pointer formalizations was verified via our analysis. Moreover, an experimental tool-plcc was implemented to automatically verify a number of non-trivial pointer programs.     

A review on the applications of type-2 fuzzy logic in classification and pattern recognition

In this paper a review of type-2 fuzzy logic applications in pattern recognition, classification and clustering problems is presented. Recently, type-2 fuzzy logic has gained popularity in a wide range of applications due to its ability to handle higher degrees of uncertainty. In particular, there have been recent applications of type-2 fuzzy logic in the fields of pattern recognition, classification and clustering, where it has helped improving results over type-1 fuzzy logic. In this paper a concise and representative review of the most successful applications of type-2 fuzzy logic in these fields is presented.