Periodic Reporting for period 4 - AVS-ISS (Analysis, Verification, and Synthesis for Infinite-State Systems)

The main focuses of this project is on theoretical problems arising out of automated-verification research, broadly construed, with a particular emphasis on algorithmic questions. During the reporting period, our efforts have revolved around the analysis of discrete and...