Filters








1 Hit in 7.1 sec

BeBoSy: Behavior Examples meet Bounded Synthesis

Daniil Chivilikhin, Ilya Zakirzyanov, Vladimir Ulyantsev
<span title="">2021</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/q7qi7j4ckfac7ehf3mjbso4hne" style="color: black;">IEEE Access</a> </i> &nbsp;
In this work we show how to incorporate behavior examples into bounded synthesis methods and exemplify the approach by presenting BeBoSy (Behavior Examples meet BoSy), an extension of the bounded synthesis  ...  Bounded synthesis methods currently do not support finite-length behavior examples, which are often helpful when formulating the specification of the desired state machine.  ...  ACKNOWLEDGMENT The authors would like to thank Ruslan Davletshin for implementing the initial version of BeBoSy, and are grateful to the anonymous reviewers for helping improve this article.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3057823">doi:10.1109/access.2021.3057823</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/opbsngv7lngenh2nil2nd5om2u">fatcat:opbsngv7lngenh2nil2nd5om2u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210715011734/https://ieeexplore.ieee.org/ielx7/6287639/9312710/09350261.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/0e/9b/0e9b36f2f651767cb2468537fc71f33d104eb4c1.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/access.2021.3057823"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> ieee.com </button> </a>