Analysis of DIRAC's behavior using model checking with process algebra

Computer Science

• State Space 100%
• Process Algebra 100%
• Model Checking 100%
• User Data 50%
• Parallelism 50%
• Data Manipulation 50%
• Shared Memory Model 50%
• Storage Management 50%
• Service Interface 50%
• Race Condition 50%
• Shared Memory 50%
• Back End 50%
• Parallel Process 50%
• Future Direction 50%
• Process Execution 50%
• Production Activity 50%
• Distributed Service 50%
• Deadlock 50%
• Data Type 50%
• grid resource 50%
• State Information 50%