Using statistical model checking for measuring systems

Keyphrases

• LTL Properties 100%
• Measuring System 100%
• Statistical Model Checking 100%
• State Space 50%
• Exponential Time 50%
• P-space 50%
• Adjacency 50%
• Logic-based 50%
• Practical Algorithm 50%
• Measurement Results 50%
• Verification Method 50%
• Boolean 50%
• Automata 50%
• Execution Sequence 50%
• Monte Carlo Estimator 50%
• Flocking Model 50%
• Automatic Verification 50%
• Estimation Method 50%
• Fixpoint 50%

Computer Science

• Model Checking 100%
• Statistical Model 100%
• State Space 50%
• Automaton 50%
• Execution Sequence 50%