LightNews — News, ranked by scholars

Adolfo Neto

@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

nat-klaus.bsky.social

@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

Luca 🤓

@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

Formal Methods for Autonomous Systems

@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

Paolo Fabio Zaino ☮️🌍💻🎸🎮☕️🍩🍕

@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

Formal Methods for Autonomous Systems

@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

Volker Stolz🏳️‍🌈

@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