Գրեք սա: Automated technology for verification and analysis :