English ⇄ Russian +

logic checker stresses
progr.	инструмент проверки логических аннотаций (в коде на языке программирования Java Alex_Odeychuk)