Abstract: High-assurance software has become a key goal in modern software development, especially in the design of embedded kernel systems and other fields where high reliability and security are ...

Abstract: Applications of Large Language Models (LLM) for source code analysis and related tasks arising during the development of an industrial static analyzer are becoming increasingly relevant due ...