http://www.colloquiam.com/wd/index.php?action=history&feed=atom&title=Gario_et_al_2016aGario et al 2016a - Revision history2026-06-11T18:23:16ZRevision history for this page on the wikiMediaWiki 1.27.0-wmf.10http://www.colloquiam.com/wd/index.php?title=Gario_et_al_2016a&diff=184917&oldid=prevScipediacontent: Scipediacontent moved page Draft Content 451060539 to Gario et al 2016a2021-01-25T11:34:13Z<p>Scipediacontent moved page <a href="/public/Draft_Content_451060539" class="mw-redirect" title="Draft Content 451060539">Draft Content 451060539</a> to <a href="/public/Gario_et_al_2016a" title="Gario et al 2016a">Gario et al 2016a</a></p>
<table class="diff diff-contentalign-left" data-mw="interface">
<tr style='vertical-align: top;' lang='en'>
<td colspan='1' style="background-color: white; color:black; text-align: center;">← Older revision</td>
<td colspan='1' style="background-color: white; color:black; text-align: center;">Revision as of 11:34, 25 January 2021</td>
</tr><tr><td colspan='2' style='text-align: center;' lang='en'><div class="mw-diff-empty">(No difference)</div>
</td></tr></table>Scipediacontenthttp://www.colloquiam.com/wd/index.php?title=Gario_et_al_2016a&diff=184916&oldid=prevScipediacontent: Created page with " == Abstract == Many possible solutions, differing in the assumptions and implementations of the components in use, are usually in competition during early design stages. Dec..."2021-01-25T11:34:10Z<p>Created page with " == Abstract == Many possible solutions, differing in the assumptions and implementations of the components in use, are usually in competition during early design stages. Dec..."</p>
<p><b>New page</b></p><div><br />
== Abstract ==<br />
<br />
Many possible solutions, differing in the assumptions and implementations of the components in use, are usually in competition during early design stages. Deciding which solution to adopt requires considering several trade-offs. Model checking represents a possible way of comparing such designs, however, when the number of designs is large, building and validating so many models may be intractable.<br />
<br />
<br />
== Original document ==<br />
<br />
The different versions of the original document can be found in:<br />
<br />
* [https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1033&context=aere_conf https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1033&context=aere_conf]<br />
<br />
* [http://link.springer.com/content/pdf/10.1007/978-3-319-41540-6_1 http://link.springer.com/content/pdf/10.1007/978-3-319-41540-6_1],<br />
: [http://dx.doi.org/10.1007/978-3-319-41540-6_1 http://dx.doi.org/10.1007/978-3-319-41540-6_1] under the license http://www.springer.com/tdm<br />
<br />
* [https://link.springer.com/chapter/10.1007/978-3-319-41540-6_1 https://link.springer.com/chapter/10.1007/978-3-319-41540-6_1],<br />
: [https://dblp.uni-trier.de/db/conf/cav/cav2016-2.html#GarioCMTR16 https://dblp.uni-trier.de/db/conf/cav/cav2016-2.html#GarioCMTR16],<br />
: [https://lib.dr.iastate.edu/aere_conf/33 https://lib.dr.iastate.edu/aere_conf/33],<br />
: [https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1033&context=aere_conf https://lib.dr.iastate.edu/cgi/viewcontent.cgi?article=1033&context=aere_conf],<br />
: [https://doi.org/10.1007/978-3-319-41540-6_1 https://doi.org/10.1007/978-3-319-41540-6_1],<br />
: [https://rd.springer.com/chapter/10.1007%2F978-3-319-41540-6_1 https://rd.springer.com/chapter/10.1007%2F978-3-319-41540-6_1],<br />
: [https://works.bepress.com/kristin-yvonne-rozier/14 https://works.bepress.com/kristin-yvonne-rozier/14],<br />
: [https://academic.microsoft.com/#/detail/2493561771 https://academic.microsoft.com/#/detail/2493561771]</div>Scipediacontent