A Study on Formal Consistency Evaluation of Backend and Frontend Business Logic in a Modern Client-Server Application.