top of page
Profile
Join date: Apr 1, 2025
Posts (47)
Nov 3, 2026 ∙ 1 min
New in November
New release of both IDE and cli tool. Now with verification support on both.
0
0
Oct 27, 2026 ∙ 1 min
New Release: Verification (and then some)
New release, now with formal verification and improved JS internals
5
0
Sep 30, 2026 ∙ 1 min
QA at the Speed of AI Need
The talks from TMMi America's #TestFormation2026 are public! We sent our own Michael Bar-Sinai to explain why model-based testing can provide the required assurances that AI-driven development needs. Oh, and then it was uploaded to YouTube.
4
0
bottom of page