M

multi-core

SOG-Based Multi-Core LTL Model Checking