Pests Version 1.1 (Tacas)

Software en OPEN SOURCE
Costa, Gabriele;;;;;

<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