Publication | Closed Access

Model checking software product lines with SNIP

Software MaintenanceEngineeringAutomated ReasoningSoftware TestingVerificationSoftware Product LineSoftware EngineeringComputer ScienceModel CheckingModel VerificationSoftware AnalysisSoftware Product LinesSoftware DesignFormal Verification