Systems / Research infrastructure

Rigor that can
be repeated.

Tools and methods for organizing evidence, preserving provenance, and making technical work easier to review.

Research directions

Built around
inspectable work.

These areas reflect ongoing development interests. They are not represented as released products.

Patent research

Source-supported claim analysis

Research direction

Formal methods

Proof objects and verification

Research direction

Scientific workflows

Reproducible literature review

Research direction

Search Layne IP