SOG-Based Multi-Core LTL Model Checking.

Chiheb Ameur Abid, Kas Klai, Jaime Arias, Hiba Ouni

Browse the full ISPA paper archive.