#RuntimeVerification
LightNews LightNews
fmasworkshop.bsky.social
One of the challenges at the heart of #FMAS2026 is the “reality gap”: how formal methods can help when autonomous systems leave simulation and operate in dynamic real environments.

fmasworkshop.github.io/FMAS2026/

#FormalMethods #RuntimeVerification #AutonomousSystems
Eighth International Workshop on Formal Methods for Autonomous Systems
The Eighth International Workshop on Formal Methods for Autonomous Systems will be a two-day peer-reviewed international workshop that brings together resear...
fmasworkshop.github.io
September 22, 2026 at 8:00 AM
fmasworkshop.bsky.social
Topics for #FMAS2026 include:

formal specification, modelling, requirements engineering, runtime verification, safety assurance, case studies, experience reports, and future directions for autonomous systems.

fmasworkshop.github.io/FMAS2026/

#FormalMethods #AutonomousSystems #RuntimeVerification
July 8, 2026 at 8:00 AM
roxsross.bsky.social
🔍 Agentes de código: la ejecución es clave, pero ¿contra qué?

https://thenewstack.io/runtime-verification-coding-agents/

#AgentesIA #RuntimeVerification #CodingAgents #Tech
June 27, 2026 at 3:24 PM
nat-klaus.bsky.social
Hi, I finished verification of reqali_to_sc (2 theorems are proved), please check, all details are in README: github.com/runtimeverif...
GitHub - runtimeverification/smalloc-verify: Formal verification of the pure-arithmetic kernel of [zooko/smalloc](https://github.com/zooko/smalloc) (`src/lib.rs`)
Formal verification of the pure-arithmetic kernel of [zooko/smalloc](https://github.com/zooko/smalloc) (`src/lib.rs`) - runtimeverification/smalloc-verify
github.com
June 2, 2026 at 10:03 AM
paolofabiozaino.bsky.social
AI systems are no longer just models.

Models can propose.
Systems must verify.

New article: paolozaino.wordpress.com/2026/05/16/a...

#AI #AISecurity #AIGovernance #AgenticAI #RuntimeVerification #AISecurity #CyberSecurity #SoftwareEngineering #MachineLearning #MLOps #LLMOps #RiskManagement
AI: AI Systems Are No Longer Just Models, and Runtime Verification Is Becoming the New Security Boundary
AI systems are increasingly being discussed as if the model were the system. That was never entirely true, but it is becoming dangerously misleading. Moreover, modern AI applications are not simply…
paolozaino.wordpress.com
May 16, 2026 at 1:17 PM
techlife-blog.bsky.social
AI Coders Can Finally See What They're Building — Antigravity and Uno Platform Make It Happen

techlife.blog/posts/ai-cod...

#Antigravity #UnoPlatform #MCP #AICoding #CrossPlatform #RuntimeVerification #Google #AI #TechNews
AI Coders Can Finally See What They're Building — Antigravity and Uno Platform Make It Happen
Google's Antigravity IDE teams up with Uno Platform's App MCP to give AI agents actual eyes on your running app — screenshots, visual tree inspection, and click simulation included.
techlife.blog
March 11, 2026 at 2:18 PM
getnews-me.bsky.social
Probabilistic runtime verification tested on five visual datasets reduced accuracy estimation errors to 0.01–0.1, improving handling of distributional shifts. https://getnews.me/probabilistic-runtime-verification-improves-deep-learning-evaluation/ #runtimeverification #distributionalshifts
Probabilistic Runtime Verification Improves Deep Learning Evaluation
September 26, 2025 at 1:43 PM
getnews-me.bsky.social
Sequential networks from Metric Temporal Logic enable real‑time monitoring with scaling resources. First submitted 1 Jan 2019, latest update 20 Sep 2025. Read more: https://getnews.me/efficient-online-monitoring-of-metric-temporal-logic-with-sequential-networks/ #metrictimelogic #runtimeverification
Efficient Online Monitoring of Metric Temporal Logic with Sequential Networks
September 25, 2025 at 10:46 AM
lucadistefano.eu
📄 My tool paper "Execution and monitoring of HOA automata with HOAX" has been accepted to RV 2025! My first sole-author publication 🥹
🔗 And the tool is open source! github.com/lou1306/hoax
See you in Graz!
#compsci #compsky #automata #rv2025 #runtimeverification
GitHub - lou1306/hoax: Execute automata written in the Hanoi format (HOA)
Execute automata written in the Hanoi format (HOA) - lou1306/hoax
github.com
July 14, 2025 at 7:50 AM
adolfoneto.elixiremfoco.com
The K Framework is a tool for designing and modeling programming languages and software/hardware systems. At the core of the K Framework is a programming, modeling, and specification language called K.
github.com/runtimeverif...
GitHub - runtimeverification/k: K Framework Tools 7.0
K Framework Tools 7.0. Contribute to runtimeverification/k development by creating an account on GitHub.
github.com
July 8, 2025 at 11:34 PM
fm-volker.mastodon.social.ap.brid.gy
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.

https://rv25.isec.tugraz.at

#runtimeverification #rv2025 @tugraz.bsky.social
RV25 – 25th International Conference on Runtime Verification
rv25.isec.tugraz.at
June 1, 2025 at 11:22 AM
kmjbuca.bsky.social
github.com/runtimeverif...
List of Security Vulnerabilities
Smart contracts which are formally verified. Contribute to runtimeverification/verified-smart-contracts development by creating an account on GitHub.
github.com
July 26, 2024 at 3:47 PM