#rv2025 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #rv2025, aggregated by home.social.
-
There's still time to submit your papers/abstracts to Runtime Verification 2025! Ezio Bartocci will be organising the conference at TU Graz in September.
#RuntimeVerification #rv2025 @tugraz.bsky.social