Verifying stochastic well-formed nets with CSL model-checking tools

Keyphrases

• Checking Algorithm 25%
• Continuous Stochastic Logic 100%
• Logic Model Checking 100%
• Model Checking Tools 100%
• Model Translation 25%
• Name Analysis 25%
• Net Model 25%
• Performance Analysis 25%
• Performance Index 25%
• Petri Net Model 25%
• Resource Utilization 25%
• Reusable Components 25%
• Stochastic Logic Model 100%
• Stochastic Petri Nets 50%
• Stochastic Systems 25%

Computer Science

• Model Checking 100%
• Model Checking Algorithm 50%
• Performance Analysis 50%
• Reusable Component 50%
• Stochastic Petri Net 100%
• Stochastic System 50%
• translation model 50%