A Model Checker for Bigraphs

Keyphrases

• Bigraphs 100%
• Bigraphical Reactive Systems 100%
• Model Checker 100%
• Ubiquitous Computing 50%
• Static Analysis 50%
• Domain-specific Languages 50%
• ProB 50%
• Reaction Rules 50%
• Computing Applications 50%
• Infinite State Model 50%
• Correctness Proofs 50%
• Model Checking Tools 50%
• Correctness Properties 50%

Computer Science

• Reactive System 100%
• model checker 100%
• Ubiquitous Computing 50%
• Static Program Analysis 50%
• Domain-Specific Modeling Language 50%
• Model Checking 50%