POSSIBILITY OF USING FUNCTIONAL LANGUAGES TO AUTOMATE VERIFICATION TASKS

Sokolov Ilya Nikolayevich

Interpreted programming languages with dynamic typing allow you to write programs and even entire systems quickly enough. However, the problems of specification and verification of programs written in such languages are practically not amenable to automation and are often performed manually. In this paper, a method of automated verification of programs written in languages with dynamic typing is proposed. To solve problems with types, the program is translated into a functional programming language that is used as a specification language with subsequent parameterization of arguments and the construction of a full-fledged model for property-based testing.

Keywords:Верификация программ, тестирование, функциональные языки программирования, спецификация, формальные методы, property-based testing