2024-09-20
· One min read
Present
- More edge cases of soundness proofs
- Rewrote conformance tests to increase coverage
- Settled on next steps for collaboration with Quviq
- Acceptance criteria for most PI7 objectives are complete
Future
- The innovation workstream for Peras is entering "maintenance mode" next week
- Retrospective - Oct 2
- Quviq presentation on testing and formalization lessons learned from Peras
- R&D seminar - date TBD