Computational Law
Laws and regulations express obligations, permissions, and prohibitions in natural language, but natural language alone cannot be executed, tested or automatically enforced. Our computational law work encodes statutory rules and procedures in formal, machine-readable representations, from runnable process models that trace every decision pathway through a law, to declarative rule systems from which legal conclusions can be derived automatically. The result is legislation that behaves like software: verifiable, auditable and ready to power compliance systems and automated legal services.