Filters








93,084 Hits in 4.3 sec

Advances in Probabilistic Model Checking [chapter]

Joost-Pieter Katoen
<span title="">2010</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;
This tutorial gives an introduction to probabilistic model checking, as well as presenting material on selected recent advances.  ...  The second half discusses two advanced topics: quantitative abstraction refinement and model checking for probabilistic timed automata.  ...  The authors are part supported by ERC Advanced Grant VERIWARE, EPSRC grant EP/F001096/1 and EU-FP7 project CONNECT.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-11319-2_5">doi:10.1007/978-3-642-11319-2_5</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/o2vlzsyzbferjhexkbbdcct5vq">fatcat:o2vlzsyzbferjhexkbbdcct5vq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20120130185055/http://qav.comlab.ox.ac.uk/papers/marktoberdorf11.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/c6/d6/c6d61ccfea357694b7ab03608664ade543e13621.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-642-11319-2_5"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Compositional Stochastic Model Checking Probabilistic Automata via Assume-guarantee Reasoning

Yisong Tan
<span title="">2021</span> <i title="Atlantis Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/7fx3vdy7mrephiyvf4tqrcyjpe" style="color: black;">Advances in Economics, Business and Management Research</a> </i> &nbsp; <span class="release-stage">unpublished</span>
From reviewing the previous research and by comparing the Biregik Dam in turkey with the Theun Hinboun Hydropower Project in Laos, this study concludes that the risks from the several aspects should be  ...  Therefore, this study aims to analyze what kind of risks may show up and discuss the methods to prevent and tackle with risks by studying two cases on the area of international Hydropower projects in Turkey  ...  In addition, the concession agreement with the 30-year concession period was signed in 1993.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2991/assehr.k.211209.288">doi:10.2991/assehr.k.211209.288</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ufw2mue6zvbc3iv4h263rtr3ti">fatcat:ufw2mue6zvbc3iv4h263rtr3ti</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220203091922/https://www.atlantis-press.com/article/125966267.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/81/a9/81a900241404b90d6424e94c3b825cf82c04ced5.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.2991/assehr.k.211209.288"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Preface to the special issue on Probabilistic Model Checking

Christel Baier, Marta Kwiatkowska
<span title="2013-08-17">2013</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/fyhr5xuigbfmdabfoqp2f7lbum" style="color: black;">Formal methods in system design</a> </i> &nbsp;
Probabilistic model checking aims to achieve automated analysis of probabilistic models against specifications given in temporal logic, and involves an intricate combination of conventional model checking  ...  The origins of probabilistic model checking are rooted in the work of Hart, Sharir and Pnueli [10] and Vardi [16] in the mid-1980s, who were mainly concerned with verifying qualitative, almost sure, probabilistic  ...  In the last few years, probabilistic model checking became established as a mature and highly active research field, opening up new and exciting lines of enquiry.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10703-013-0194-4">doi:10.1007/s10703-013-0194-4</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/neeu3chulzhtthtdlvatjawmxy">fatcat:neeu3chulzhtthtdlvatjawmxy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181030110223/https://link.springer.com/content/pdf/10.1007%2Fs10703-013-0194-4.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/90/37/90373c827c4d183ca7ad78f331c9de86645de310.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10703-013-0194-4"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Advances and challenges of probabilistic model checking

Marta Kwiatkowska, Gethin Norman, David Parker
<span title="">2010</span> <i title="IEEE"> 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton) </i> &nbsp;
In this paper, we give a short overview of probabilistic model checking and of PRISM (www.prismmodelchecker.org), currently the leading software tool in this area.  ...  Probabilistic model checking is a powerful technique for formally verifying quantitative properties of systems that exhibit stochastic behaviour.  ...  The authors are supported in part by EPSRC projects EP/D07956X and EP/F001096, EU FP7 project CONNECT and ERC Advanced Grant VERIWARE.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/allerton.2010.5707120">doi:10.1109/allerton.2010.5707120</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/bauounyehvelpe4dwjrobeugfe">fatcat:bauounyehvelpe4dwjrobeugfe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20130225014846/http://hal.archives-ouvertes.fr/docs/00/76/74/74/PDF/allerton10.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/8e/46/8e466fc4755c464662b3582fb86be5a73f09a1f2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/allerton.2010.5707120"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Some recent advances in automated analysis

Erika Ábrahám, Klaus Havelund
<span title="2015-10-13">2015</span> <i title="Springer Nature"> <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;
In the last decade, active research in the formal methods community brought interesting results and valuable tools.  ...  A previous version of this paper was published in [79] . In spite of advances in model checking, state space explosion is still a hindrance for scalability.  ...  model checking is distributed on multiple machines in the cloud.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-015-0403-0">doi:10.1007/s10009-015-0403-0</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/hwu7b64kh5brrlm7spzyucxibe">fatcat:hwu7b64kh5brrlm7spzyucxibe</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20200710004237/https://www.havelund.com/Publications/sttt-tacas-2014-intro.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/c9/f3/c9f35efe8a800c1bb0afb692676212db6378c0a7.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-015-0403-0"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Probabilistic Modeling of Histogram Based Fuzzy Image Enhancement Algorithm

Ghazala Junejo, Sania Bhatti, Mohsin Memon
<span title="2022-01-19">2022</span> <i title="Conscientia Beam"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vezny52vzrf4jlxnyttnd4ct2i" style="color: black;">Review of Information Engineering and Applications</a> </i> &nbsp;
Probabilistic model checking is frequently used to examine stochastic behavior.  ...  HFIE Algorithm is analyzed by developing its Discrete-time Markov Chain (DTMC) model in the Probabilistic Symbolic Model Checker (PRISM).  ...  quartiles, and weak deterministic automata with PRISM Advances in probabilistic model checking [14] Robots deployed in extreme environments via probabilistic model checking [15] PRISM-games [16]  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18488/79.v9i1.2908">doi:10.18488/79.v9i1.2908</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/w2ugljrro5gfhh5e5cs3gmkvzy">fatcat:w2ugljrro5gfhh5e5cs3gmkvzy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220125014314/https://archive.conscientiabeam.com/index.php/79/article/download/2908/4535" 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/41/9e/419e3ee5dc0a08d1796effabe8083b1b52ca6c4b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.18488/79.v9i1.2908"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="unlock alternate icon" style="background-color: #fb971f;"></i> Publisher / doi.org </button> </a>

Model check stochastic supply chains

Li Tan, Shenghan Xu
<span title="">2008</span> <i title="IEEE"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/shm2ezaidfhldft2fi4zk4nura" style="color: black;">2008 IEEE International Conference on Information Reuse and Integration</a> </i> &nbsp;
Our model-checking-based approach leverages benefits of recent advances in symbolic probabilistic model checking to improve the efficiency and scalability of decision procedures.  ...  The framework is based on probabilistic model checking, a formal verification technique for analyzing stochastic systems.  ...  Recent advances [4] in symbolic probabilistic model checking have drastically improved its efficiency and scalability.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iri.2008.4583067">doi:10.1109/iri.2008.4583067</a> <a target="_blank" rel="external noopener" href="https://dblp.org/rec/conf/iri/TanX08.html">dblp:conf/iri/TanX08</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/lazyx6hvzve3pky2pyiev5vgtq">fatcat:lazyx6hvzve3pky2pyiev5vgtq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20100702203005/http://www.eecs.wsu.edu/~ltan/publication/pmc_supplychain.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/81/24/8124364a62757ed571f715447a4ae6013833572a.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/iri.2008.4583067"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>

Evaluating FTTT Protocol via PRISM, PRISM-symm and GRIP

Sania Bhatti, Mohsin Memon, Sheeraz Memon
<span title="">2017</span> <i title="IACSIT Press"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/473y5rd3tfgnvnlxddqa5aqeoa" style="color: black;">Journal of clean energy technologies</a> </i> &nbsp;
Probabilistic model checking is used for verifying stochastic behaviors of systems.  ...  In this paper we present an overview of few diverse case studies which are implemented using one of the leading probabilistic symbolic models checking tool, called Probabilistic Symbolic Model (PRISM).  ...  Probabilistic model checking is related to the construction and scrutiny of a probabilistic model from a high-level description of a system's behavior.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7763/ijcte.2017.v9.1131">doi:10.7763/ijcte.2017.v9.1131</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ivng5ldhvnc4nd2mrxkremtssq">fatcat:ivng5ldhvnc4nd2mrxkremtssq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180721152415/http://www.ijcte.org/vol9/1131-G1551.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/32/c3/32c357f4262b6934ea45fccec09b6ec494b63118.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.7763/ijcte.2017.v9.1131"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Recent advances in interactive and automated analysis

Radu Mateescu
<span title="2017-11-09">2017</span> <i title="Springer Nature"> <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;
We briefly discuss some recent advances in the field, introducing five papers selected from the 22th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS  ...  In this context, formal methods equipped with powerful and versatile analysis tools are more important than ever in the design process.  ...  A collection of enhancements brought to the PRISM model checker is illustrated in the paper Advances in Probabilistic Model Checking with PRISM: Variable Reordering, Quantiles and Weak Deterministic Büchi  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-017-0477-y">doi:10.1007/s10009-017-0477-y</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ouhrg3llyfcjxkogcchu64ggyy">fatcat:ouhrg3llyfcjxkogcchu64ggyy</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20180724032007/https://hal.inria.fr/hal-01766570/document" 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/64/05/64051eff99bcf88ba2c01e65b350d16e77f46bc6.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s10009-017-0477-y"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Developing Model Checkers Using PAT [chapter]

Yang Liu, Jun Sun, Jin Song Dong
<span title="">2010</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;
In this work, we present a generic and extensible framework PAT, which facilitates users to build customized model checkers.  ...  Many model checking algorithms and state space reduction techniques have been proposed.  ...  Furthermore, the supported libraries in PAT offer user advanced model checking techniques like real-time verification and probabilistic model checking, which are absent in Bogor and LTSA.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-15643-4_30">doi:10.1007/978-3-642-15643-4_30</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/r7pxhl6qybaltlrps7nklzs7ue">fatcat:r7pxhl6qybaltlrps7nklzs7ue</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810082723/http://people.sutd.edu.sg/~sunjun/Publications/atva10.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/a9/0e/a90efc5324f018e3e3f56bf650f5e7f54345eef1.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-642-15643-4_30"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

From software verification to 'everyware' verification

Marta Kwiatkowska
<span title="2013-09-07">2013</span> <i title="Springer Nature"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/vdv2cjwoijecjpy4gktx7ptxuq" style="color: black;">Computer Science - Research and Development</a> </i> &nbsp;
The focus is on a advancing quantitative verification in new and previously unexplored directions, including game-based techniques, incorporation of continuous dynamics in addition to stochasticity, and  ...  Model-based design and verification techniques have proved useful in supporting the design process by detecting and correcting flaws in a number of ubiquitous computing applications, but are limited by  ...  Building on the successful theory to practice transfer for quantitative/probabilistic model checking, yet significantly advancing it in new and previously unexplored directions, the specific objectives  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00450-013-0249-1">doi:10.1007/s00450-013-0249-1</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/yijv5tfqwjb5rlopsnmy6gpsf4">fatcat:yijv5tfqwjb5rlopsnmy6gpsf4</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20160411122903/http://qav.comlab.ox.ac.uk/papers/Kwi13.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/b4/ee/b4eef58c75f757ddcc8bbdebfe6f1ccf5674f2e2.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/s00450-013-0249-1"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

PRISM 4.0: Verification of Probabilistic Real-Time Systems [chapter]

Marta Kwiatkowska, Gethin Norman, David Parker
<span title="">2011</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;
These include: an extensible toolkit for building, verifying and refining abstractions of probabilistic models; an explicit-state probabilistic model checking library; a discrete-event simulation engine  ...  This paper describes a major new release of the PRISM probabilistic model checker, adding, in particular, quantitative verification of (priced) probabilistic timed automata.  ...  The authors are part supported by ERC Advanced Grant VERIWARE, EU-FP7 project CONNECT, DARPA/Air Force Research Laboratory contract FA8650-10-C-7077 (PRISMATIC) and EPSRC grant EP/D07956X.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1007/978-3-642-22110-1_47">doi:10.1007/978-3-642-22110-1_47</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/y6aqczsj3fhtrcwwwljw5iqqki">fatcat:y6aqczsj3fhtrcwwwljw5iqqki</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170923210435/https://hal.inria.fr/file/index/docid/648035/filename/cav11.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/be/3f/be3fae30a804e260255d738c324eed60115f48dc.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-642-22110-1_47"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> springer.com </button> </a>

Probabilistic Model Checking of the One-Dimensional Ising Model

Toshifusa SEKIZAWA, Tatsuhiro TSUCHIYA, Koichi TAKAHASHI, Tohru KIKUNO
<span title="">2009</span> <i title="Institute of Electronics, Information and Communications Engineers (IEICE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/xosmgvetnbf4zpplikelekmdqe" style="color: black;">IEICE transactions on information and systems</a> </i> &nbsp;
Probabilistic model checking is an emerging verification technology for probabilistic analysis. Its use has been started not only in computer science but also in interdisciplinary fields.  ...  In this paper, we show that probabilistic model checking allows one to analyze the magnetic behaviors of the one-dimensional Ising model, which describes physical phenomena of magnets.  ...  Probabilistic Model Checking Model checking is an automatic formal verification technique. Probabilistic model checking extends model checking to probabilistic systems.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1587/transinf.e92.d.1003">doi:10.1587/transinf.e92.d.1003</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/wlpal7mw2naxhk4zj2vwwong3m">fatcat:wlpal7mw2naxhk4zj2vwwong3m</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20181031230225/https://www.jstage.jst.go.jp/article/transinf/E92.D/5/E92.D_5_1003/_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/5f/cb/5fcb86fd6eeafc83bad9fdafb079ce5416a2d97c.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1587/transinf.e92.d.1003"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

Probabilistic Modeling of Lossless Compression using Improved RLC Algorithm

Aisha Sattar Phulpoto, Sania Bhatti, Salahuddin Saddar
<span title="2021-12-22">2021</span> <i title="Foundation of Computer Science"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/b637noqf3vhmhjevdfk3h5pdsu" style="color: black;">International Journal of Computer Applications</a> </i> &nbsp;
Probabilistic model checking is a very famous formal verification technique to calculate accuracy evaluation while it is very complex and time-consuming to achieve via simulations these days.  ...  modeling, Communication, network, and multimedia protocols, security protocols, game theory, and many others but not applied in the domain of image compression techniques.  ...  Model Checking at Runtime [9] :In this paper heuristics-based incremental probabilistic model checking at runtime was done.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/ijca2021921838">doi:10.5120/ijca2021921838</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ovi3dwsfybbjlaho7ow2eocsta">fatcat:ovi3dwsfybbjlaho7ow2eocsta</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20220131073518/https://www.ijcaonline.org/archives/volume183/number43/phulpoto-2021-ijca-921838.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/91/9f/919f28e171943b72bef723f3dae4726f5fe97e00.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.5120/ijca2021921838"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> Publisher / doi.org </button> </a>

The Probabilistic Model Checker Storm [article]

Christian Hensel, Sebastian Junges, Joost-Pieter Katoen, Tim Quatmann, Matthias Volk
<span title="2020-10-06">2020</span> <i > arXiv </i> &nbsp; <span class="release-stage" >pre-print</span>
It supports multiple input languages for Markov models, including the JANI and PRISM modeling languages, dynamic fault trees, generalized stochastic Petri nets, and the probabilistic guarded command language  ...  We present the probabilistic model checker Storm. Storm supports the analysis of discrete- and continuous-time variants of both Markov chains and Markov decision processes.  ...  This work has been supported by the ERC Advanced Grant 787914 (FRAPPANT) and the DFG RTG 2236 'UnRAVeL'. S.  ... 
<span class="external-identifiers"> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2002.07080v2">arXiv:2002.07080v2</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/howomuoxqrfkbcofduhyqdzrnq">fatcat:howomuoxqrfkbcofduhyqdzrnq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20201009003335/https://arxiv.org/pdf/2002.07080v2.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] </button> </a> <a target="_blank" rel="external noopener" href="https://arxiv.org/abs/2002.07080v2" 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>
&laquo; Previous Showing results 1 &mdash; 15 out of 93,084 results