A High-level Specification Language for Model Checking

    Project Details

    StatusActive
    Effective start/end date01/09/201803/05/2022