0
0
0
0
Hashtag
#formalmethods
Advertisement · 728 × 90
The first 4 phases of AletheiaOne weren’t progress. They were constraint, failure, and rewriting everything that couldn’t survive reality.
If your invariants don’t hold under adversarial conditions, you don’t have a system. You have a story.
dev.to/doomhammerhe...
#DistributedSystems #FormalMethods
0
0
0
0
A protocol isn’t your happy path.
It’s what still holds under adversarial execution.
If you can’t define invariants over all state transitions, you’re not designing a protocol. You’re describing intent.
“Exploits” are just valid executions you failed to model.
#FormalMethods #Protocol #Cryptography
0
0
0
0
T ∩ O | t = ∅
The Intersection of Truth and Observation, at Time Zero, is the Empty Set.
（註：本項邏輯封裝代表真實主體與觀測影像在絕對瞬間互斥。）
🔗 gist.github.com/Sigma-Phi/11...
#f4d9c8a1 #b2e30764
#FormalMethods #SystemsArchitecture #QuantumLogic #ObservationEffect #CompSci
0
0
0
0
Refinement Modeling and Verification of RISC-V Assembly using Knuckledragger
www.philipzucker.com/refine_assem... #assembly #riscv #formalmethods #python with video www.youtube.com/watch?v=NQGh...
1
0
0
0
My Italian colleagues Giorgio Audrito, Ferruccio Damiani, Giordano Scarso, Gianluca Torta and me will be giving a full0-day tutorial on Aggregate Programming at FM’26!
You can already get a glimpse on what we’re up to in our quest for world-domination (though decentralized!) at […]
0
0
0
0
I'm interested in learning about formal methods and zero-knowledge proofs, particularly for their use in verifying software. I know very, very little about this, but it would be very useful if I knew more.
What are some good basic introductions?
I'm going to poke around a bit with Lean and […]
0
1
2
0
🧮 Nuestras primeras pruebas de demostración
Los intentos de prueba de nuestro modelo de IA para un desafío matemático de alto nivel.
https://openai.com/index/first-proof-submissions
#AIProofs #AutomatedReasoning #FormalMethods #RoxsRoss
0
0
0
0
🚀 2 Postdoc positions in Verification & Formal Methods at TU Dortmund (Reliable AI Group)!
We also welcome researchers in safe/secure ML & AI quality assurance. 🤖🔍
📅 Deadline: March 10, 2026
📩 jobs-reliable-ai@rc-trust.ai
#Postdoc #FormalMethods #TrustworthyAI
0
0
0
0
極端流VDMチャンネル
第4回 - 番外編：ダイナブック
が公開されました。
youtu.be/E8B5rKurxHA
#VDM #FormalMethods #ViennaTalk #Dynabook
1
0
0
0
Paper on LLMS versus the Halting Problem, by Oren Sultan, Jordi Aemrngol Estape, Pascal Kesseli, Julien Vanegue, Dafna Shahaf, Yossi Adi, Peter O'Hearn
LLMs vs the Halting Problem. Why not try LLMs on the first code reasoning task: halting. Turing's undecidability proof showed basic limits. Fun bit: no matter how superintelligent AI becomes, it can never solve this. 1/5
arxiv.org/abs/2601.18987 #AcademicSky #FormalMethods #AIReasoning
1
0
1
0
📼 Throwback to FLoC 1996
30 years ago, the very first #FLoC brought together
CAV, CADE, LICS, and RTA (now FSCD).
Three decades later, the same core vision.
📍 Next chapter: Lisbon, 2026 🇵🇹
🔗 www.floc26.org
#FLoC2026 #LogicInCS #FormalMethods #Lisbon
5
1
0
0
1
1
0
0
極端流VDMチャンネル
第2回 - ViennaTalk をインストールしよう
www.youtube.com/watch?v=StFh...
を公開しました。
#FormalMethods #VDM #ViennaTalk
0
0
0
0
#MULCIA: Post-doc position at Inria Rennes on AI and formal methods. is.gd/OKXP8D #PostDoc #CompSci #AI #FormalMethods
0
0
0
0
I'm launching a VDM tutorial series on YouTube. The texts and audio are in Japanese, but you can use YouTube's auto-translated subtitles to follow along. Enjoy!
The Extreme VDM Channel Ep.1: Let's implement a Counter in VDM
www.youtube.com/@%E6%A5%B5%E...
#FormalMethods #VDM #VDM-SL #ViennaTalk
0
0
0
0
YouTubeでVDMの解説を始めました。
極端流VDMチャンネル 第1話：VDMでカウンターを書いてみよう
www.youtube.com/@%E6%A5%B5%E...
#VDM #FormalMethods #VDM-SL #ViennaTalk
0
0
0
0
Can AI truly understand types? Discussion suggests AI can adhere to type signatures. Using TLA+ for formal specification with AI for implementation lets human developers focus on high-level logic. #FormalMethods 5/7
0
0
1
0
👉 From COBOL to Kotlin // Marco Graziano
#cobol #kotlin #formalmethods
marcoeg.medium.com/from-cobol-t...
0
0
0
0
ViennaTalk "Gdansk" is released.
New features includes:
* Mutation testing to evaluate your testcases
* Execution traces to visualize the execution in State Diagram and Sequence Diagram
github.com/tomooda/Vien...
#pharo #vdm #vdmsl #formalmethods
1
1
0
0
Formal specification-finally. We’ve built systems so complex, *proving* they won’t fail is becoming more vital than simply testing. 🤖 #formalmethods
The Coming Need for Formal Specification
0
0
0
0
Formal verification is like proving your code isn't just 'mostly correct' -> it's bulletproof. But it's been a pain in the ass to scale. AI's about to change that. Suddenly, every team can afford to be paranoid in the best way. #FormalMethods #AIDevTools
0
0
0
0
New Book Review:
Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"
www.fmeurope.org/2025/11/26/b...
#FormalMethods
2
0
0
0
New Book Review:
Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"
www.fmeurope.org/2025/11/26/b...
#FormalMethods
0
0
0
0
New Book Review
Thao Dang reviews Chuchu Fan''s book "Formal Methods for Safe Autonomy: Data-driven Verification, Synthesis, and Applications"
www.fmeurope.org/2025/11/26/b...
#FormalMethods
1
1
0
0
New Book Review:
Patrizio Pelliccione reviews Andrzej Wasowski and Thorsten Berger's book "Domain-Specific Languages – Effective Modeling, Automation, and Reuse"
www.fmeurope.org/2025/11/26/b...
#FormalMethods
0
1
0
0
The Formal Methods Symposium 2026 will again host Industry Day (i-Day), which is a forum for industry and academia to meet and discuss the state of the art of #FormalMethods
Details to come at: conf.researchr.org/track/fm-202...
1
0
0
0