Security & Trust

Alessandro Armando gives invited talk at PAS 2013

Published: Oct 23, 2013

PAS 2013 will provide a forum for foreign and Chinese researchers and software developers actively involved or interested in developing, using, and applying methods and software tools of symbolic computation for program verification and automated debugging to exchange ideas and views, to review the state of the art and discuss prospects, to present research results and experiments, and to build up contacts for future cooperation. The scientific program of the seminar will feature invited talks and short presentations.

On Wednesday 23 October, Alessandro Armando will give an invited talk titled “Model Checking Programs with Arrays”.