model checking - Robuta Search

https://www.cs.cmu.edu/~emc/2014/eventphotos55.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://research.utwente.nl/en/publications/on-the-use-of-model-checking-techniques-for-quantitative-dependab/ On the Use of Model Checking Techniques for Quantitative Dependability Evaluation - University of... on the model checking use techniques quantitative https://cris.vtt.fi/en/publications/timed-model-checking-of-fault-tolerant-nuclear-iampc-systems/ Timed model checking of fault-tolerant nuclear I&C systems - VTT's Research Information Portal research information portal model checking timed fault tolerant https://repo.uum.edu.my/id/eprint/11375/ Model checking agent of SMS management system for direct sales and network marketing - UUM... model checking management system direct sales network marketing agent https://www.phil.muni.cz/en/research/publishing-and-editorial-activities-of-the-faculty/overview-of-publishing-and-scientific-activities/760855 Shared Hash Tables in Parallel Model Checking | Faculty of Arts MU | MUNI ARTS faculty of arts hash tables model checking shared parallel https://journal.hep.com.cn/fcs/EN/10.1007/s11704-013-3091-5 Model checking with fairness assumptions using PAT Recent development on distributed systems has shown that a variety of fairness constraints (some of which are only recently defined) play vital roles in... model checking fairness assumptions using pat https://iris.uniupo.it/handle/11579/6189 Model checking time Petri nets using NuSM model checking petri nets time using https://www.cs.cit.tum.de/en/tcs/lehre/ss21/model-checking/ Model Checking - Chair of Theoretical Computer Science theoretical computer science model checking chair https://jisem-journal.com/index.php/journal/article/view/6456 Enhanced Cyber-Physical System Security: A Model Checking Approach Using UPPAAL for OT-Specific... cyber physical system model checking enhanced security approach https://research.tue.nl/en/publications/advanced-reduction-techniques-for-model-checking/ Advanced reduction techniques for model checking - Research portal Eindhoven University of... model checking research portal university of advanced reduction https://www.sciweavers.org/publications/quantitative-model-checking-continuous-time-markov-chains-against-timed-automata-specif/keyword-traffic/recent Keyword Traffic - Quantitative Model Checking of Continuous-Time Markov Chains Against Timed... This page shows the keyword traffic from major search engines for Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata... keyword traffic model checking quantitative continuous time https://research.tudelft.nl/en/publications/experiments-in-using-model-checking-for-schedulability-analysis/ Experiments in using model checking for schedulability analysis - TU Delft Research Portal model checking tu delft research portal experiments using https://collaborate.princeton.edu/en/publications/complementary-use-of-runtime-validation-and-model-checking/fingerprints/ Complementary use of runtime validation and model checking - Fingerprint - Princeton University model checking princeton university complementary use runtime https://researchwith.njit.edu/en/publications/petri-net-based-model-checking-for-privacy-critical-multiagent-sy/ Petri-Net-Based Model Checking for Privacy-Critical Multiagent Systems - New Jersey Institute of... model checking multiagent systems new jersey petri based https://researchr.org/publication/vmcai%3A2005 Verification, Model Checking, and Abstract Interpretation, 6th International Conference, VMCAI... model checking international conference verification abstract interpretation https://cris.huji.ac.il/en/publications/a-perfecto-verification-combining-model-checking-with-deductive-a/ A perfecto verification: Combining model checking with deductive analysis to verify real-life... model checking real life perfecto verification combining https://wwww.easychair.org/publications/paper/n2NN Diagnosis of supervision patterns on bounded labeled Petri nets by Model Checking petri nets by model diagnosis supervision patterns https://iccl.inf.tu-dresden.de/web/Spezial:Durchsuchen/:CMS-5FResearch-5FProject-5FModel-5FChecking-5F(SS2026) CMS Research Project Model Checking (SS2026) research project model checking cms https://www.fit.vut.cz/research/result/c17351/ Improvements in Model Checking for Object-Oriented Petri Nets model checking object oriented petri nets improvements https://cris.fau.de/publications/316775225/?lang=de_DE Generic Model Checking for Modal Fixpoint Logics in COOL-MC - FAU CRIS model checking generic modal logics cool https://prob.hhu.de/w/index.php?title=LTL_Model_Checking&diff=prev&oldid=2330 LTL Model Checking: Difference between revisions - ProB Documentation model checking difference between ltl revisions prob https://dl.ifip.org/IFIP-LNCS-6117/hal-01055152 On Efficient Models for Model Checking Message-Passing Distributed Protocols - Formal Techniques... The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design... model checking message passing efficient models distributed https://scholarsmine.mst.edu/comsci_facwork/1609/ "Model-checking BNDC Properties in Cyber-physical Systems" by Ravi Akella and Bruce M. McMillin In Cyber-physical systems, which are the integrations of computational and physical processes, it is hard to realize certain security properties.... cyber physical systems model checking properties ravi bruce https://iris.unical.it/handle/20.500.11770/175685 Stable Model Checking Made Easy model checking stable made easy https://coursya.com/product/coursera/quantitative-model-checking/ Quantitative Model Checking - Coursya Jun 18, 2025 - The integration of ICT (information and communications technology) in different applications is... model checking quantitative https://opinvisindi.is/items/2fb261a5-af82-4fac-bc3d-b1878c86691a Performance evaluation and model checking of probabilistic real-time actors This dissertation is composed of two parts. In the first part, performance evaluation and verification of safety properties are provided for real-time actors.... performance evaluation model checking real time probabilistic actors https://art.torvergata.it/handle/2108/34927 A Model Checking Technique for the Verification of Fuzzy Control Systems. model checking for the control systems technique verification https://cris.fbk.eu/handle/11582/353 Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking model checking weak strong cyclic planning https://research.ibm.com/publications/model-checking-the-garbage-collection-mechanism-of-smv Model checking the garbage collection mechanism of SMV for Electronic Notes in Theoretical Computer... Model checking the garbage collection mechanism of SMV for Electronic Notes in Theoretical Computer Science by Cindy Eisner model checking garbage collection mechanism smv electronic https://research.jku.at/en/publications/approximating-perfect-recall-when-model-checking-strategic-abilit/ Approximating Perfect Recall When Model Checking Strategic Abilities: Theory and Applications - JKU... model checking perfect recall strategic abilities https://liner.com/review/reduction-techniques-for-model-checking-and-learning-in-mdps Reduction Techniques for Model Checking and Learning in MDPs [Quick Review] Regarding this IJCAI 2017 paper, this review summarizes novel reduction techniques for MDPs, improving model checking and learning efficiency by removing i... model checking quick review reduction techniques learning https://iris.unisannio.it/handle/20.500.12070/44180 Formal Verification of Radio Communication Management in Railway Systems Using Model Checking... formal verification radio communication railway systems model checking management https://discourse.openehr.org/t/ref-impl-eiffel-798-implemented-existence-and-cardinality-reference-model-checking/13184 [ref_impl_eiffel] [798] Implemented existence and cardinality reference model checking. - Reference... Feb 9, 2009 - Revision: 798 Author: thomas.beale Log Message: model checking ref eiffel implemented existence https://ar5iv.labs.arxiv.org/html/1712.01207 [1712.01207] Model Checking in multiplayer games development Multiplayer computer games play a big role in the ever-growing entertainment industry. Being competitive in this industry means releasing the best possible... model checking multiplayer games development https://scholarsarchive.byu.edu/etd/782/ "Improving Error Discovery Using Guided Model Checking" by Neha Shyam Rungta State exploration in directed software model checking is guided using a heuristic function to move states near errors to the front of the search queue.... model checking improving error discovery using https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2017.29 Model-Checking Counting Temporal Logics on Flat Structures model checking counting temporal logics flat https://www-verimag.imag.fr/BIP-SMC-A-Statistical-Model-Checking.html BIP-SMC : A Statistical Model Checking Engine for the BIP framework - [Verimag] A statistical model checking engine prototype for the BIP framework. statistical model for the bip smc checking https://researcharchive.wintec.ac.nz/id/eprint/5134/ Towards Automated Software Verification Using Model Checking Techniques - Wintec Research Archive software verification model checking research archive towards automated https://lrec.elra.info/lrec2024-main-1512 Visual-Textual Entailment with Quantities Using Model Checking and Knowledge Injection - LREC 2024... May 1, 2024 - In recent years, there has been great interest in multimodal inference. We concentrate on visual-textual entailment (VTE), a critical task in multimodal inferen textual entailment model checking visual quantities using https://digitalcommons.usu.edu/ece_facpub/147/ "Utilizing Stochastic Model Checking to Analyze Genetic Circuits" by Curtis Madsen, Chris J. Myers... When designing and analyzing genetic circuits, researchers are often interested in the probability of the system reaching a given state within a certain amount... stochastic model chris j utilizing checking analyze https://researchportal.ip-paris.fr/fr/publications/model-checking-of-vulnerabilities-in-smart-contracts-a-solidity-t/ Model Checking of Vulnerabilities in Smart Contracts: A Solidity-to-CPN Approach - Institut... model checking smart contracts vulnerabilities solidity cpn https://2023.splashcon.org/details/ftscs-2023-papers/6/Opening-Keynote-Bounded-STL-Model-Checking-for-Hybrid-Systems Opening, Keynote: Bounded STL Model Checking for Hybrid Systems (FTSCS 2023) - SPLASH 2023 9th ACM International Workshop on Formal Techniques for Safety-Critical Systems Cascais, Portugal, October 22, 2023 https://2023.splashcon.org/home/ftscs-2023... opening keynote model checking hybrid systems stl splash https://research.chalmers.se/publication/216234 Model-checking signal transduction networks through decreasing reachability sets We consider model checking of Qualitative Networks, a popular formalism for modeling signal transduction networks in biology. One of the unique features of... model checking signal transduction networks reachability sets https://ai.updf.com/paper-detail/hsas-md-analyzer-a-hybrid-security-analysis-system-using-model-hamza-halim-31423101aba6204524f8b3e0bf114a59b4325c20 HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep... A new hybrid SAS based on the model-checking technique and deep learning, called an HSAS-MD analyzer, which focuses on the holistic analysis perspective of IoT... security analysis model checking hsas md analyzer https://www.aecplustech.com/blog/xinap-vision-acquisition-future-aec-model-checking Xinaps: From Vision to Acquisition and the Future of AEC Model-Checking | aec+tech The acquisition of Xinaps and the rebranding of Verifi3D as Solibri Checkpoint mark a pivotal step in advancing cloud-based model-checking solutions. This move... the future model checking vision acquisition aec https://orbit.dtu.dk/en/publications/partial-order-reduction-and-trail-improvement-in-directed-model-c/ Partial-order reduction and trail improvement in directed model checking - Welcome to DTU Research... partial order reduction model checking welcome to trail improvement https://scholars.duke.edu/publication/1815821 Scholars@Duke publication: Tailored Quantum Device Calibration with Statistical Model Checking statistical model scholars duke publication tailored https://www.ideals.illinois.edu/items/11319 Symbolic Model Checking of Infinite-State Systems Using Narrowing | IDEALS model checking infinite state symbolic systems using https://cris.maastrichtuniversity.nl/en/publications/model-checking-dynamical-systems/ Model checking dynamical systems - Maastricht University model checking dynamical systems maastricht university https://www.amazon.science/publications/model-checking-as-a-human-endeavor Code-level model checking in the software development workflow - Amazon Science This experience report describes a style of applying symbolic model checking developed over the course of four years at Amazon Web Services (AWS). Lessons... model checking software development amazon science code level https://www.nist.gov/publications/using-model-checking-generate-tests-specifications Using Model Checking to Generate Tests from Specifications | NIST model checking using generate tests specifications https://www.computer-dictionary-online.org/definitions-m/model-checking model checking - Computer Dictionary of Information Technology Learn about model checking at computer-dictionary-online.org model checking computer dictionary information technology https://publications.rwth-aachen.de/record/1032441 Correction to: Efficient Probabilistic Model Checking for Relational Reachability - RWTH... Gerlach, Lina; Winkler, Tobias; Abraham, Erika; Bonakdarpour, Borzoo; Junges, Sebastian model checking correction efficient probabilistic relational https://research.tilburguniversity.edu/en/publications/csl-model-checking-algorithms-for-infinite-state-structured-marko/ CSL Model Checking Algorithms for Infinite-state Structured Markov chains - Tilburg University... model checking infinite state tilburg university csl algorithms https://www.deutsche-digitale-bibliothek.de/item/TFDD5OCZRORUHTW2AMO2ZGTEXFS2KWSS Infinite state AMC-model checking for cryptographic protocols - Deutsche Digitale Bibliothek deutsche digitale bibliothek infinite state model checking amc cryptographic https://research-explorer.ista.ac.at/record/4460 From pre-historic to post-modern symbolic model checking pre historic post modern model checking symbolic https://www.jucs.org/jucs_11_6/model_checking_automated_abstraction/ Index of /jucs_11_6/model_checking_automated_abstraction index of model checking automated abstraction https://www.iris.sssup.it/handle/11382/578334 Statistical Model Checking of Python Agent-Based Models: An Integration of MultiVeStA and Mesa statistical model agent based checking python models https://www.rics-notebook.com/tags/model-checking model-checking - Eric deQuevedo model-checking tags - Eric deQuevedo model checking eric https://ingegneriasismica.com/2026/volume-43-issue-2/a-statistical-model-checking-approach-to-reliability-assessment-of-railway-marshalling-yard-operation-plans/ A Statistical Model Checking Approach to Reliability Assessment of Railway Marshalling-Yard... statistical model marshalling yard checking approach reliability https://bradscholars.brad.ac.uk/entities/publication/40007d59-069f-4627-890f-8b58e23f0665 Model checking kernel P systems Recent research in membrane computing examines and confirms the anticipated modelling potential of kernel P systems in several case studies. On the one hand,... model checking kernel p systems https://ebin.pub/concise-guide-to-software-verification-from-model-checking-to-annotation-checking-9783031301674-9783031301667.html Concise Guide to Software Verification : From Model Checking to Annotation Checking 9783031301674,... This textbook overviews the whole spectrum of formal methods and techniques that are aimed at verifying correctness of s... guide to software verification model checking concise annotation