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

First Page	Meta Content
	A framework for the verification of parameterized infinite-state systems⇤ Francesco Alberti1,3 , Silvio Ghilardi2 , Natasha Sharygina1 1 2 Add to Reading List Document Date: 2014-07-11 19:49:36 Open Document File Size: 2,12 MB Share Result on Facebook

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