Ala-Eddine Ben Salem, Mohamed Graiet. Combining Explicit and Symbolic LTL Model Checking Using Generalized Testing Automata. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. pages 20-29, IEEE Computer Society, 2015. [doi]
Abstract is missing.