Software Quality via Algebraic Methods

info@qualgebra.com

We help software houses deliver high quality software while increasing the productivity of their engineering teams. Particularly, we specialize in:

• Software Architecture

• Software Product Line Engineering

• Safety Critical Software (hazard analysis, assurance cases)

• Interactive Theorem Proving (Lean, Rocq, PVS)

• Model Checking (stateful, stateless, probabilistic)

• Software Modeling

• Test-case Generation (model-based/property-based testing)

• Static Analysis