Attribution

UPIR is a clean-room implementation based solely on public sources.

---

Primary Source

Automated Synthesis and Verification of Distributed Systems Using UPIR

Published by Subhadip Mitra at TD Commons under CC BY 4.0 license on November 10, 2025.

---

Additional References

See SOURCES.md for complete list of references.

---

Author

Subhadip Mitra

Personal open source project, no affiliations.