Our gradual verification work has this flavor—a user can go from no formal specifications and incrementally specify more and more receiving verification (static and dynamic) feedback a long the way.

Combined with @neurocy.bsky.social’s live programming work might be even closer.

Note, the participation page on the VerifyThis website is not completely up to date. It should be by the end of the week, but we wanted to get the call for participation out since the early registration deadline is only a few days away!

The registration deadline for physical attendees is open until March 21; register at etaps.org/2025/registr.... The registration deadline for virtual attendees is open until April 18; register at forms.gle/BRh56QLu34ao.... 2/2