div class=ts-pagebuttonPage 1button div class=ts-image a href=https:reader042vdocumentssitereader042viewer20220406115ed411528d46b66d22636533html5page1jpg target=_blank amp-img class=ts-thumb alt=Page 1: UIVerify - a Web-Based Tool for Verification and …In this poster we describe a web-based tool for verification and automatic generation of user interfaces The verification component src=https:reader042vdocumentssitereader042viewer20220406115ed411528d46b66d22636533html5thumbnails1jpg width=142 height=106 layout=responsive amp-imga divdiv