Profession No use case selected No issue run Downloads & Report
SLEEC-PATCH

Requirement Repair Workbench

Tell us about your background before you begin.

Before you begin

Instructions

SLEEC-PATCH guides you through a SLEEC requirement specification, diagnoses well-formedness issues, and helps you resolve them one at a time.

  1. Choose a use case and review the system context.
  2. Start the analysis to detect conflicting or otherwise problematic requirements.
  3. Resolve the selected issue using generated patches or a manual edit.
  4. Verify each edit before proceeding to the next issue.

Choose Use Case

Use case description

Select a use case to view the domain context.

Conflict Diagnosis

No diagnosis yet.

Selected Issue

Select one issue.
No issue run loaded.

Candidate Repairs

No deterministic repairs yet.
No GPT semantic repairs yet.

Verified & Ranked Patches

Select the best generated patch for this issue before moving to the verification handoff.

No verified patches yet.
Select a verified patch to inspect.

Verify Resolution and Continue

Confirm this issue is resolved, then use the clear call to action to continue to the next issue.

No verified resolution selected yet.
No log yet.

Evaluation

Review evaluation summaries, detailed repair information, and export evaluation reports.

No evaluation summary loaded.

Patch Details

Click an operation in the evaluation tables to view the original rule, proposed rule, explanation, and verification details.

6A. Patch Match

No Evaluation A results yet.

6B. Final Specification

No Evaluation B results yet.

6C. Philosopher Review

No philosopher review loaded.

Start Again With a Clean Slate

Clear saved patch results, candidate runs, verifications, and philosopher review records from the local database.