Project Timeline
September 2025: Project initiation, team formation, and initial research into TLA+/PlusCal
October 2025: Requirements analysis, technology stack setup, and architecture design (Current)
November 2025: Core parser development and PlusCal analysis engine implementation
December 2025: PlantUML generation algorithms and diagram creation modules
January 2026: LaTeX integration, PDF generation, and model checker integration
February 2026: Testing, documentation, and final deliverables preparation
March 2026: Project presentation and handover to SanDisk