Req Quality Checker
An AI tool that performs a comprehensive quality check of requirements against common criteria such as being unambiguous, verifiable, understandable, singular and complete.
Start application
Prover Labs
Applications
AI applications for requirements and verification work, built by Prover's AI team on the company's own formal-methods and railway signalling expertise. Open one, bring your own text, and tell us with the thumbs under the result what to build or fix next.
4 applications · live
Formal-Req Description Checker
An AI tool that checks that given formal requirements, in logic representations such as HLL, are consistent with their informal descriptions.
Start application
Ambiguity Radar
An AI tool that shows the ambiguity in a requirement instead of scoring it: the two to four readings that are all defensible, the exact words where they part ways, and the one question to the author that would settle it.
Start application
Counterexample Storyteller
An AI tool that reads a counterexample trace from a formal verification run and tells it as a cycle-by-cycle story in plain language, naming the few signals that matter, the ones that are noise, the cycle where the violation happens and a likely cause.
Start application