Research Project
Grant-in-Aid for Research Activity Start-up
This research aims to develop a tableau-based approach to effectively model checking temporal properties for large-scale systems. The core idea of our approach is to split the original model checking problem into multiple smaller model checking problems and handle each smaller one independently.