Filters








15,871 Hits in 1.6 sec

Modelling Nondeterminism [chapter]

Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
<span title="">2004</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27764-4_13">doi:10.1007/978-3-540-27764-4_13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/kozevtqasbaszjucsqn4ipe5ry">fatcat:kozevtqasbaszjucsqn4ipe5ry</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190304074803/http://pdfs.semanticscholar.org/ba20/ae422acbcb913d4d68753966b2619568c07b.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/ba/20/ba20ae422acbcb913d4d68753966b2619568c07b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-27764-4_13"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Denotational models for unblunded nondeterminism

<span title="">1995</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/elaf5sq7lfdxfdejhkqbtz6qoq" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
Michael Mislove Denotational models for unbounded nondeterminism http://uuu.elsevier.nl/locate/entcs/volumel/mislove Unbounded nondeterminism has played a fundamental role in the areas of refinement between  ...  In this paper we explore this issue, and we show that only one of the three powerdomains has a suitable analogue for modeling unbounded nondeterminism.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(96)80135-6">doi:10.1016/0304-3975(96)80135-6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w3rzvhamxfd2pc3aqkwwxz2no4">fatcat:w3rzvhamxfd2pc3aqkwwxz2no4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20171001234114/http://publisher-connector.core.ac.uk/resourcesync/data/elsevier/pdf/ac9/aHR0cDovL2FwaS5lbHNldmllci5jb20vY29udGVudC9hcnRpY2xlL3BpaS8wMzA0Mzk3NTk2ODAxMzU2.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/d8/61/d861787f9cbef23ef25f75e4419c25aab0a3dabd.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/0304-3975(96)80135-6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>

Nondeterminism and fully abstract models

Egidio Astesiano, Gerardo Costa
<span title="">1980</span> <i title="EDP Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/pujxd6a3tbb2lfcsnaffdtb4rq" style="color: black;">RAIRO Informatique théorique</a> </i> &nbsp;
NONDETERMINISM Types We consider the set T of functional types generated, in the usual way, from ground types o and i. In what follows, a and x range over T and x ranges over {o, i}.  ...  Then an order extensional model (model for short) Jl for the couple (NDLJ, J>j) is given by [2]: (i) a family { Df | a e 7} of cpo's, s. t.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/ita/1980140403231">doi:10.1051/ita/1980140403231</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/e2rygde5q5dhnbgq7wmah74mba">fatcat:e2rygde5q5dhnbgq7wmah74mba</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190427164257/https://www.rairo-ita.org/articles/ita/pdf/1980/04/ita1980140403231.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/8b/6f/8b6f05fb29027638d39bc69f0ba5b185fc0187d8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1051/ita/1980140403231"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Regular realizability problems and models of a generalized nondeterminism [article]

A. Rubtsov, M. Vyalyi
<span title="2011-05-30">2011</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
Models of a generalized nondeterminism are defined by limitations on nonde- terministic behavior of a computing device.  ...  Models of a generalized nondeterminism for multi-head 2-way automata were introduced in [4, 5] .  ...  In this case a nondeterminism become degenerated and such a model can be considered as a generalization of an oracle model of computation.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1105.5894v1">arXiv:1105.5894v1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/u47uvpqdq5f2jhhnwtwvfhowbq">fatcat:u47uvpqdq5f2jhhnwtwvfhowbq</a> </span>
<a target="_blank" rel="noopener" href="https://archive.org/download/arxiv-1105.5894/1105.5894.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> File Archive [PDF] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/1105.5894v1" title="arxiv.org access"> <button class="ui compact blue labeled icon button serp-button"> <i class="file alternate outline icon"></i> arxiv.org </button> </a>

Probability and Nondeterminism in Operational Models of Concurrency [chapter]

Roberto Segala
<span title="">2006</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
We give a brief overview of operational models for concurrent systems that exhibit probabilistic behavior, focussing on the interplay between probability and nondeterminism.  ...  Our survey is carried out from the perspective of probabilistic automata, a model originally developed for the analysis of randomized distributed algorithms.  ...  Within the field of domain theory and denotational semantics, several models have been proposed that combine probability and nondeterminism.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11817949_5">doi:10.1007/11817949_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/4cqtmxbh3zfx7kex37dn2xxplq">fatcat:4cqtmxbh3zfx7kex37dn2xxplq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809121711/http://profs.sci.univr.it/segala/www/pub/Seg06-CONCUR.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/b5/27/b52723f0d76feca824a238ed0a9ae4627980dd2f.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/11817949_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Model Checking Concurrent Programs with Nondeterminism and Randomization

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan, Marc Herbstritt
<span title="2010-12-14">2010</span> <i > <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/yjwtenvm3vc4tjdmag7doffpby" style="color: black;">Foundations of Software Technology and Theoretical Computer Science</a> </i> &nbsp;
For concurrent probabilistic programs having process-level nondeterminism, it is often necessary to restrict the class of schedulers that resolve nondeterminism to obtain sound and precise model checking  ...  Specifically, given a Büchi automaton Spec, a threshold x ∈ [0, 1], and a concurrent program P, the model checking problem asks if the measure of computations of P that satisfy Spec is at least x, under  ...  We conclude this introduction by comparing our model of concurrent programs under view consistent schedulers to other probabilistic models for which model checking results are known.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.fsttcs.2010.364">doi:10.4230/lipics.fsttcs.2010.364</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/fsttcs/ChadhaSV10.html">dblp:conf/fsttcs/ChadhaSV10</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/frbxlehzhzhkpe64hq4v6z7oee">fatcat:frbxlehzhzhkpe64hq4v6z7oee</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810043359/http://drops.dagstuhl.de/opus/volltexte/2010/2878/pdf/32.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/fb/55/fb5536d228dd6cdf1ee658d733614e81561f6224.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4230/lipics.fsttcs.2010.364"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Completeness and Nondeterminism in Model Checking Transactional Memories [chapter]

Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh
<span title="">2008</span> <i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures.  ...  We also show how to model and verify contention management within STMs. We automatically check the opacity of popular STM algorithms, such as TL2 and DSTM, with a universal contention manager.  ...  Interaction in the model Modeling contention managers explicitly in our formalism is not a feasible option.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-85361-9_6">doi:10.1007/978-3-540-85361-9_6</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/htedl3uiojhwppmq7cgk2spd5u">fatcat:htedl3uiojhwppmq7cgk2spd5u</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727092612/https://infoscience.epfl.ch/record/125895/files/concur2008.pdf?version=1" 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/f9/4e/f94e5e189b82fdad44e76d9cf26465e7ca9827f0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-85361-9_6"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Model of Countable Nondeterminism in Guarded Type Theory [chapter]

Aleš Bizjak, Lars Birkedal, Marino Miculan
<span title="">2014</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
The model of a language with countable choice In this section we introduce F µ,?  ...  However, in the model in we can show the following rule is admissible. Thus we additionally assume this principle in our logic.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-08918-8_8">doi:10.1007/978-3-319-08918-8_8</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wbr3jneuirgpviah3tpfrzergm">fatcat:wbr3jneuirgpviah3tpfrzergm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170706071304/http://www.cs.au.dk/%7Eabizjak/documents/trs/cntbl-gtt-tr.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/d2/66/d2662e5776faf67e85b67d9748b3a6e9976d88e4.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-08918-8_8"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

A Statistical Model Checker for Nondeterminism and Rare Events [chapter]

Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
<span title="">2018</span> <i title="Springer International Publishing"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2w3awgokqne6te4nvlofavy5a4" style="color: black;">Lecture Notes in Computer Science</a> </i> &nbsp;
sampling to approximate optimal schedulers in nondeterministic models.  ...  Statistical model checking avoids the state space explosion problem in verification and naturally supports complex non-Markovian formalisms.  ...  In particular, we are not aware of any other tool that provides fully automated RES on general stochastic models. Nondeterminism. Sound SMC for nondeterministic models is a hard problem.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-89963-3_20">doi:10.1007/978-3-319-89963-3_20</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/iiagsuebc5e7zgop3qniaxspvm">fatcat:iiagsuebc5e7zgop3qniaxspvm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180727182856/https://link.springer.com/content/pdf/10.1007%2F978-3-319-89963-3_20.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/c2/45/c2455b9ef9d34201202b16d6b67a30796a4d3d27.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-319-89963-3_20"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

An efficient statistical model checker for nondeterminism and rare events

Carlos E. Budde, Pedro R. D'Argenio, Arnd Hartmanns, Sean Sedwards
<span title="2020-05-28">2020</span> <i title="Springer Science and Business Media LLC"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/zzy5ovlifvatfirg4js7u4uetq" style="color: black;">International Journal on Software Tools for Technology Transfer (STTT)</a> </i> &nbsp;
to approximate optimal schedulers in nondeterministic models.  ...  Statistical model checking avoids the state space explosion problem in verification and naturally supports complex non-Markovian formalisms.  ...  In particular, we are not aware of any other tool that provides fully automated RES on general stochastic models. Nondeterminism Sound SMC for nondeterministic models is a difficult problem.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-020-00563-2">doi:10.1007/s10009-020-00563-2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/2zyvi27hgrhwzamfcnhv5eu2jm">fatcat:2zyvi27hgrhwzamfcnhv5eu2jm</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210428023352/https://ris.utwente.nl/ws/files/248305771/Budde_2020_An_efficient_statistical_model_chec.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/92/61/9261cbe00fa26f96ac12f7b6733c8a3ac782c931.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-020-00563-2"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> springer.com </button> </a>

Petri Nets at Modelling and Control of Discrete-Event Systems Containing Nondeterminism -- Part 1

František Čapkovič
<span title="">2018</span> <i title="Central Library of the Slovak Academy of Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rsgu6oqy7fcfdl4hs633t7yefy" style="color: black;">Computing and informatics</a> </i> &nbsp;
Petri Nets are one of the mostly used tools for their modelling and control synthesis.  ...  Place/Transitions Petri Nets, Timed Petri Nets, Controlled Petri Nets are suitable when a modelled object is deterministic.  ...  Concur-rency cannot be expressed there, but conflicts appear caused by more outgoing transitions from a place (i.e. a kind of uncertainty or nondeterminism). • P/T PN where every arc from a place to a  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4149/cai_2018_5_1258">doi:10.4149/cai_2018_5_1258</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/3onuvmururcblc3z3epccooo2e">fatcat:3onuvmururcblc3z3epccooo2e</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220226115950/http://www.cai.sk/ojs/index.php/cai/article/download/2018_5_1258/929" 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/e8/8c/e88c4c95c849bc30674f8579e2f71473be4bee75.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.4149/cai_2018_5_1258"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Petri Nets at Modelling and Control of Discrete-Event Systems with Nondeterminism -- Part 2

František Čapkovič
<span title="">2019</span> <i title="Central Library of the Slovak Academy of Sciences"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/rsgu6oqy7fcfdl4hs633t7yefy" style="color: black;">Computing and informatics</a> </i> &nbsp;
Moreover, another kinds of nondeterminism in DES (errors, failures) will be modelled, and the possibilities of the error recovery of failed system will be presented.  ...  Here, the applicability of Labelled PN (LbPN) and Interpreted PN (IPN) for modelling and control of nondeterministic DES, especially with uncontrollable and/or unobservable transitions in the models, will  ...  first one based on the IPN model, the second one on the LbPN model and the third one (specific one) based on the PN model of RAS (resource allocation systems) where a special kind of nondeterminism occurs  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.31577/cai_2019_3_728">doi:10.31577/cai_2019_3_728</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/77kbueh53zcslcindh4grno3ci">fatcat:77kbueh53zcslcindh4grno3ci</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20210814170826/http://www.cai.sk/ojs/index.php/cai/article/download/2019_3_728/971" 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/75/49/7549653fe1c19321ab1ff3ca91d97e3b23887117.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.31577/cai_2019_3_728"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism

Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene
<span title="">2013</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/2vets7bfvjgrfdnvqtw7wrhqk4" style="color: black;">2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops</a> </i> &nbsp;
Nondeterminism poses several challenges for the validation and verification activities, including the problem of inconclusive tests in model-based testing with model checker.  ...  It is a validation technique that use model checker counterexamples as test cases.  ...  For instance, in object oriented modeling, nondeterminism allows to better reflect inherent nondeterminism of the domain and reduce complexity [4] .  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icstw.2013.29">doi:10.1109/icstw.2013.29</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/icst/ArcainiGR13.html">dblp:conf/icst/ArcainiGR13</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/56w6olqzifd7jbecl7bysjy5pu">fatcat:56w6olqzifd7jbecl7bysjy5pu</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170809040014/http://cs.unibg.it/gargantini/research/papers/amost13.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/ef/6d/ef6d5a7edf312a3eac4fa4ec9a6cef2562cc93a0.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/icstw.2013.29"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Mixed Nondeterministic-Probabilistic Automata: Blending graphical probabilistic models with nondeterminism [article]

Albert Benveniste, Jean-Baptiste Raclet
<span title="2022-01-01">2022</span>
In this paper we develop a new model of mixed (nondeterministic/probabilistic) automata that subsumes both nondeterministic automata and graphical probabilistic models.  ...  Graphical models in probability and statistics are a core concept in the area of probabilistic reasoning and probabilistic programming-graphical models include Bayesian networks and factor graphs.  ...  Modeling paradigm. Blending probability and nondeterminism, composing, comparing (equivalence), are the main issues. Inria 2. Model for proof systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.48550/arxiv.2201.07474">doi:10.48550/arxiv.2201.07474</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bqjom66j65eqdmmvd7egrdgkpe">fatcat:bqjom66j65eqdmmvd7egrdgkpe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220120074310/https://arxiv.org/pdf/2201.07474.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/c1/d0/c1d02b52ecbd0c8920a775595c65c8480fbb0615.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.48550/arxiv.2201.07474"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Delayed Nondeterminism in Model Checking Embedded Systems Assembly Code [chapter]

Thomas Noll, Bastian Schlich
<i title="Springer Berlin Heidelberg"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/bzl6tndrjzggnivqu72b23crdm" style="color: black;">Hardware and Software: Verification and Testing</a> </i> &nbsp;
bisimulation by introducing identities for nondeterministic values implement compiler generator for state-space evaluators Delayed Nondeterminism: abstraction technique for explicit-state model checking  ...  R1 → 00000011]) Delayed Nondeterminism HVC 2007  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-77966-7_16">doi:10.1007/978-3-540-77966-7_16</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/hvc/NollS07.html">dblp:conf/hvc/NollS07</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/h4l3nqbyfnes7ldmgsfr2xoddq">fatcat:h4l3nqbyfnes7ldmgsfr2xoddq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170808115342/http://www.research.ibm.com/haifa/Workshops/verification2007/present/Thomas_Noll_web.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/79/0a/790aa04984b73cf75b5902b486189d989a7f3eb8.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-540-77966-7_16"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>
&laquo; Previous Showing results 1 &mdash; 15 out of 15,871 results