Skip to content

Quill

Turn written
rules into guarantees.

Quill turns regulations and policies into certified guarantees, then verifies the systems responsible for upholding them.

From written rule to verified result.

Quill turns each written rule into a certified guarantee, then proves that the responsible software upholds it. It returns a certificate or pinpoints the exact code path where the guarantee fails.

1. SOURCE

Start with the obligation.

Find what matters across regulations, internal policies, and standards. Quill keeps every candidate requirement attached to the exact language it came from.

  • Relevant passages, applicability, and exceptions
  • Source text preserved for review
2. INTERPRETATION

Turn it into a precise guarantee.

Quill brings the source and proposed guarantee together with what the rule covers and any exceptions, so the right people can review and refine it before verification.

  • Source and proposed meaning side by side
  • What the rule covers, plus exceptions and assumptions
3. VERIFICATION

Prove the system meets it.

Connect the approved guarantee to the relevant code, interfaces, and workflows. Quill verifies every system path the guarantee applies to and returns a definite result.

  • A certificate recording exactly what was verified and against which revision
  • Or the concrete path that violates the guarantee
How the result is checked

Continuous assurance

Keep every guarantee current.

When a source obligation, approved interpretation, assumption, or implementation changes, Quill identifies the guarantees affected and checks them again. Unchanged assurance stays intact.

How verification works
Also from SchematicTurn software intent into proven behavior with Pup. Explore Pup