model checking - Robuta Search

https://www.cs.cmu.edu/~emc/2014/eventphotos51.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://publications.rwth-aachen.de/record/980852 Compositional control-flow reduction for probabilistic model checking - RWTH Publications Barth, Naomi; Katoen, Joost-Pieter; Noll, Thomas; Winkler, Tobias control flow probabilistic model reduction checking rwth https://simgrid.org/doc/latest/Tutorial_Model-checking.html Formal Verification and Model checking — SimGrid documentation formal verification model checking simgrid documentation https://infoscience.epfl.ch/entities/event/861fc7ea-a7ab-4236-ab4a-e464fd64624e Verification, Model Checking, and Abstract Interpretation (VMCAI) model checking verification abstract interpretation vmcai 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/activities/model-checking-birth-and-death/ Model Checking Birth and Death - University of Twente Research Information birth and death university of twente model checking research information https://edoc.ub.uni-muenchen.de/29976/ Efficient software model checking with block-abstraction memoization model checking efficient software block abstraction https://conservancy.umn.edu/items/85c096b6-b7fc-4f83-a3fc-94913126b897 Integrating Temporal Logics and Model Checking Algorithms Temporal logic and model checking algorithms are often used for checking system properties in various environments. The diversity of systems and environments... model checking integrating temporal logics algorithms https://experts.illinois.edu/en/publications/statistical-model-checking-challenges-and-perspectives-2/ Statistical model checking: Challenges and perspectives - Illinois Experts model checking statistical challenges perspectives illinois https://www.cs.cmu.edu/~emc/2014/eventphotos5.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking 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://apice.unibo.it/xwiki/bin/view/Publication/BordiniJaamas12 Verifying Multi-agent Programs by Model Checking / APICe Verifying Multi-agent Programs by Model Checking multi agent by model verifying programs checking 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://moves.rwth-aachen.de/teaching/ws-1819/tpmc/ Trends and Pearls of Model Checking (Seminar) | Informatik 2 of model trends pearls checking seminar https://www.utwente.nl/en/eemcs/fmt/research/projects/completed/arrangeer.html ArRangeer: smARt RAilroad maintenance eNGinEERing with stochastic model checking | Completed... railroad maintenance model checking smart engineering stochastic https://apice.unibo.it/xwiki/bin/view/Publication/ModelcheckingSac09?xpage=whatsnew Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems / APICe Using Probabilistic Model Checking and Simulation for Designing Self-Organizing Systems probabilistic model https://www.cs.cmu.edu/~emc/2014/eventphotos2.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://impact.ornl.gov/en/publications/verification-of-compartmental-epidemiological-models-using-metamo/ Verification of compartmental epidemiological models using metamorphic testing, model checking and... model checking verification epidemiological models 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 advanced reduction techniques https://www.cs.cmu.edu/~emc/2014/eventphotos43.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://iccl.inf.tu-dresden.de/web/Spezial:Durchsuchen/:Teamprojekt-5F%22Model-5FChecking%22-5F(WS2025) Teamprojekt "Model Checking" (WS2025) model checking teamprojekt https://concuerror.com/ Concuerror | Concuerror is a model checking tool for debugging, testing and verifying concurrent... Homepage of the Concuerror, a tool for debugging, testing and verifying concurrent Erlang programs. is a model checking https://repository.tudelft.nl/record/uuid:fa549767-ec87-426e-9906-0939e1d374bc Complexity of model checking for reaction systems | TU Delft Repository of model reaction systems tu delft complexity checking https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?QAPL2012.1 EPTCS: UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata model checking eptcs smc statistical priced https://etv.tudelft.nl/en-US/education/default/course?id=454 Course Algorithms for Model checking (IN4357) | Electrotechnische Vereeniging model checking course algorithms vereeniging 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://www.sei.cmu.edu/library/model-checking-with-multi-threaded-ic3-portfolios/ Model Checking with Multi-threaded IC3 Portfolios | CMU Software Engineering Institute This paper presents three variants of multi-threaded IC3s for model checking hardware, differing by degree of synchronization and aggressiveness of proof... model checking software engineering multi threaded https://portal.fis.tum.de/de/publications/regular-model-checking-upside-down-an-invariant-based-approach-2/fingerprints/ REGULAR MODEL CHECKING UPSIDE-DOWN: AN INVARIANT-BASED APPROACH - Fingerprint - Technische... model checking upside down regular https://iccl.inf.tu-dresden.de/web/Inproceedings3811621714/en Model Checking Action- and State-Labelled Markov Chains - International Center for Computational... Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, Markus Siegle. Model Checking Action- and State-Labelled Markov Chains. International... model checking https://experts.mcmaster.ca/scholarly-works/3243795 An Automated Translator for Model Checking Time... Learn about the scholarly work entitled An Automated Translator for Model Checking Time... model checking automated translator time https://research.ibm.com/publications/coverage-in-interpolation-based-model-checking Coverage in interpolation-based model checking for DAC 2010 - IBM Research Coverage in interpolation-based model checking for DAC 2010 by Hana Chockler et al. model checking coverage interpolation based https://www.cs.cmu.edu/~emc/2014/eventphotos33.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://www.utwente.nl/en/eemcs/fmt/research/projects/completed/caesar/ CAESAR: Integrating Safety and Cybersecurity through Stochastic Model Checking | Completed projects... model checking caesar integrating safety cybersecurity https://www.cs.cmu.edu/~emc/2014/eventphotos49.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://moves.rwth-aachen.de/teaching/ss-16/ss16introduction-to-model-checking/ Introduction to Model Checking | Informatik 2 introduction to model checking informatik https://www.cs.cmu.edu/~emc/2014/eventphotos14.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking 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 complementary use runtime validation https://research.birmingham.ac.uk/en/publications/probabilistic-symbolic-model-checking-with-prism-a-hybrid-approac/ Probabilistic symbolic model checking with PRISM: A hybrid approach - University of Birmingham model checking https://cordis.europa.eu/project/id/101107303/fr COntext-free model checking for Recursive PrObabilistic pRogrAms | CORPORA | Projet | Fiche... IoT and embedded systems are powered by increasingly sophisticated software components, employing machine learning to create devices that perform activities... free model context checking https://publications.rwth-aachen.de/record/980854 Automata-based model checking of recursive systems - RWTH Publications Gehnen, Christina; Katoen, Joost-Pieter; Noll, Thomas; Winkler, Tobias model checking automata based recursive systems https://fis.tu-dresden.de/portal/en/datasets/interactive-visualization-meets-probabilistic-model-checking-artifact(813dfdeb-7842-4d36-bca2-91c3efc361cc).html Interactive Visualization Meets Probabilistic Model Checking Artifact | TU Dresden interactive visualization probabilistic model meets checking artifact https://pure.psu.edu/en/publications/model-checking-case-study-of-a-temporary-structures-monitoring-sy/ Model Checking - Case Study of a Temporary Structures Monitoring System - Penn State model checking case study https://cpsl.pratt.duke.edu/research/statistical-model-checking-hyperpstl Statistical Model Checking of HyperPSTL | Cyber-Physical Systems Lab Statistical Model Checking of HyperPSTL cyber physical systems model checking statistical lab https://infoscience.epfl.ch/entities/publication/d3f6c0b8-138a-45dc-80c0-307d6157d878?ln=en Using Bounded Model Checking to Verify Consensus Algorithms This paper presents an approach to automatic verification of asynchronous round-based consensus algorithms. We use model checking, a widely practiced... model checking using bounded verify consensus https://lackingrhoticity.blogspot.com/2009/08/how-to-do-model-checking-of-python-code.html?showComment=1259057531277 Lacking Rhoticity: How to do model checking of Python code I read about eXplode in early 2007. The paper describes a neat technique, inspired by model checking, for exhaustively exploring all execu... how to do model checking lacking python code https://portal.fis.tum.de/en/publications/verifying-pctl-model-checking/ Verifying pCTL model checking - Technical University of Munich model checking technical university verifying munich https://www.cs.cmu.edu/~emc/2014/eventphotos13.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://www.cs.cmu.edu/~emc/2014/eventphotos38.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://infoscience.epfl.ch/entities/event/b7021343-431d-4d1c-958b-57af0a8a94c2/statistics 9th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) international conference model checking verification https://iccl.inf.tu-dresden.de/web/Spezial:Durchsuchen/:Teamprojekt-5FModel-5FChecking-5F(SS2026) Teamprojekt Model Checking (SS2026) model checking teamprojekt https://research.redhat.com/blog/publication/string-abstraction-for-model-checking-of-c-programs/ String Abstraction for Model Checking of C Programs | Red Hat Research model checking red hat string abstraction https://iccl.inf.tu-dresden.de/web/Spezial:Durchsuchen/:CMS-5FResearch-5FProject-5FModel-5FChecking-5F(WS2025) CMS Research Project Model Checking (WS2025) research project model checking cms https://research.tue.nl/nl/publications/enhancing-state-space-reduction-techniques-for-model-checking/ Enhancing state space reduction techniques for model checking - Onderzoeksportaal Eindhoven... state space model checking enhancing reduction techniques https://research.nvidia.com/publication/2021-02_verifying-high-level-latency-insensitive-designs-formal-model-checking Verifying High-Level Latency-Insensitive Designs with Formal Model Checking | Research Latency-insensitive design mitigates increasing interconnect delay and enables productive component reuse in complex digital systems. This design style has... high level model checking verifying latency insensitive https://ir.cwi.nl/pub/24250 Centrum Wiskunde & Informatica: Towards Model Checking Cryptographic Protocols with Dynamic... model checking cryptographic protocols centrum wiskunde informatica https://moves.rwth-aachen.de/teaching/ws-2024-25/gntmc/ Practical Course Model Checking | Informatik 2 practical course model checking informatik https://eprints.soton.ac.uk/256022/ Animation and Model Checking of CSP and B using Prolog Technology - ePrints Soton model checking https://d3s.mff.cuni.cz/publications/jezek_model_2006/ Model Checking of Component Behavior Specification: A Real Life Experience | D3S a real life model checking component behavior https://www.cs.cmu.edu/~emc/2014/eventphotos30.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://research.redhat.com/blog/publication/model-checking-c-with-exceptions/ Model Checking C++ with Exceptions | Red Hat Research model checking red hat exceptions research https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?GANDALF2017.17 EPTCS: Model Checking Social Network Models model checking social network eptcs models https://www-i2.moves.rwth-aachen.de/i2/index.html@id=49.html MC=MC: Model Checking Infinite-State Markov Chains model checking mc infinite state markov https://www.cs.cmu.edu/~emc/2014/eventphotos28.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://www.cs.cmu.edu/~emc/2014/eventphotos9.html Clarke Symposium on Model Checking 2014 on model clarke symposium checking https://apice.unibo.it/xwiki/bin/view/Publication/MasmodelcheckingAmai51 Model Checking Multi-agent systems with Logic Based Petri Nets / APICe Model Checking Multi-agent systems with Logic Based Petri Nets model checking multi agent systems https://www.eurohpc-ju.europa.eu/multimodal-foundation-model-german-property-invoice-checking_en Multimodal foundation model for German property invoice checking - The European High Performance... With their current computer vision and natural language processing models, the project already manages to process 30% of incoming claims automatically. foundation model https://unewzn.blogspot.com/2025/12/Checking%20in%20With%20Americas%20Next%20Top%20Model%20Winners%20Who%20Is%20Still%20on%20Top%20.html?m=1 Checking in With America's Next Top Model Winners: Who Is Still on Top? Yes, we were all rooting for them. But did Adrienne Curry and the rest of the champs Tyra Banks hand-picked to compete on checking in with next top model https://learning.sap.com/courses/performing-manual-planning-with-sap-analytics-cloud-br/creating-a-model-in-sap-analytics-cloud-and-checking-the-fact-table-in-sap-datasphere Creating a Model in SAP Analytics Cloud and Checking the Fact Tab After completing this lesson, you will be able to:Create a model in SAP Analytics Cloud and check the fact table for the model in SAP Datasphere. creating a model sap analytics cloud https://collaborate.princeton.edu/en/publications/numerical-stability-analysis-of-floating-point-computations-using/ Numerical stability analysis of floating-point computations using software model checking -... stability analysis floating point numerical https://arxiv.org/html/2507.12323v1 Tailored Quantum Device Calibration with Statistical Model Checking tailored quantum device calibration statistical https://collaborate.princeton.edu/en/publications/symbolic-model-checking-of-concurrent-programs-using-partial-orde/ Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions -... https://cygwin.com/pipermail/cygwin-talk/2004q4/000236.html Using SPIN for model checking using spin model checking