„Verification algorithms“
Suchergebnisse
1.000+ Treffer
-
Verification of Derandomized Probabilistic Algorithms
-
Quantitative Verification on Product Graphs of Small Treewidth
-
Log-Diameter MST Verification and Sensitivity in MPC
-
Modeling, validation and verification of three-dimensional cell-scaffold contacts from terabyte-sized images
-
Runtime Verification – 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
-
A three-layer head phantom for verification of the source localization models and algorithms
-
Formal Verification of Algorithms for Automata and Model Checking
-
Fundamental algorithmic techniques for distributed computations in networks – : information dissemination and maximum matching
-
Communication-Efficient Probabilistic Algorithms: Selection, Sampling, and Checking
-
Numerical MMATh Verified essential algorithms for solving differential equations
-
Verification and Validation of Logic Control Algorithms by Model Checking – Verifikation und Validierung von Steuerungsalgorithmen mittels Model Checking
-
Algorithms and Tools for Verification and Testing of Asynchronous Programs
-
Modeling and verification of distributed algorithms in theorem proving environments
-
Algorithms for the Efficient Verification and Planning of Information Technology Change Operations
-
Parallel algorithms for verification of large systems
-
SAT-based verification – from core algorithms to novel application domains
-
Fundamentals of Computation Theory – 17th International Symposium, FCT 2009, Wrocław, Poland, September 2-4, 2009. Proceedings
-
Computer Aided Verification – 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings
-
Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
-
Computer Aided Verification – 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings