A framework for the verification of parameterized infinite-state systems⇤ Francesco Alberti1,3 , Silvio Ghilardi2 , Natasha Sharygina1 1 2

First Page		Document Content
Date: 2014-07-11 19:49:36		A framework for the verification of parameterized infinite-state systems⇤ Francesco Alberti1,3 , Silvio Ghilardi2 , Natasha Sharygina1 1 2 Add to Reading List Source URL: ceur-ws.org Download Document from Source Website File Size: 2,12 MB Share Document on Facebook