Modern systems require programmers to develop code that dynamically adapts different contexts, leading the evolution of new context-oriented programming languages. These languages introduce software-engineering challenges, such as: how maintain and keep separation concerns codebase? model changing behaviors? verify system behavior? more. This paper introduces Context-Oriented Behavioral Program...