We formally verify a direct model-reference adaptive control (MRAC) method that is used to enable flight control in adverse conditions. We use the bounded verification approach and verify the system by introducing templates for both the assumptions and the guarantees, and using QEPCAD to solve the resulting ∃∀ formula.

Refactoring source code has always been an active area of research. Since the uprising various deep learning methods, there have several attempts to perform transformation with use neural networks. More specifically, Encoder-Decoder architectures used transform similarly a Neural Machine Translation task. In this paper, we present learning-based method refactor code, which prototyped for Erlang...