Automated tool of formal technical reviews