„Model-checking“
Suchergebnisse
1.904 Treffer
-
Proof Everything Everywhere But Not All At Once – A Robotic Case Study
-
Tool-Assisted Conformance Checking to Reference Process Models
-
Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
-
Erratum to: Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems
-
Quantitative Analysis of Consistency in NoSQL Key-Value Stores
-
Languages, Methodologies, and Development Tools for Multi-Agent Systems – Third International Workshop, LADS 2010, Lyon, France, August 30 – September 1, 2010, Revised Selected Papers
-
Logic and Games on Automatic Structures – Playing with Quantifiers and Decompositions
-
Hardware and Software: Verification and Testing – 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
-
Formal-Methods Support for Runtime Adaptation in Self-Adaptive Systems
-
Probabilistic Model Checking for Temporal Logics in Weighted Structures
-
Towards Effective Symbolic Execution
-
Analytical Exploration and Quantification of Nanowire-based Reconfigurable Digital Circuits
-
Certificates and Witnesses for Probabilistic Model Checking
-
Quantitative Analysis of Configurable and Reconfigurable Systems
-
Formal Analysis of Variability-Intensive and Context-Sensitive Systems
-
On the connection of probabilistic model checking, planning, and learning for system verification
-
Star-topology decoupled state-space search in AI planning and model checking
-
Modeling and verifying the FlexRay physical layer protocol with reachability checking of timed automata
-
Modeling and formal verification of probabilistic reconfigurable systems
-
Model counting for reactive systems