PESTS version 1.1 (TACAS)

Software OPEN SOURCE
Costa, Gabriele; letterio.galletta@imtlucca.it; basin@inf.ethz.ch; chiara.bodei@unipi.it; degano@di.unipi.it;
(2018)

<p>In our paper &quot;From Natural Projection to Partial Model Checking and Back&quot;, we proved that natural projection reduces to partial model checking and,&nbsp;when cast in a common setting, the two are equivalent.<br> In addition, there we presented a quotient... View more
Share - Bookmark