Testing & Fault Injection
Related Projects:
Online Model Checking
Apply model checking to systems where accurate long-term models
are difficult to obtain
Online Model Checking
Apply model checking to systems where accurate long-term models
are difficult to obtain