Symbolic Systems, Explicit Properties: On Hybrid Approaches for LTL Symbolic Model Checking.

Roberto Sebastiani, Stefano Tonetta, Moshe Y. Vardi

Browse the full CAV paper archive.