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
#FormalMethods
Latest posts tagged with #FormalMethods on Bluesky
Trending
#U.S. Foreign Policy
#F1
#Chinese Grand Prix
#SNL
#Venezuela Baseball
#AEW Collision
#Six Nations
#Newcastle United
#Arsenal vs Everton
#Trump and Epstein
#U.S. Foreign Policy
#F1
#Chinese Grand Prix
#SNL
#Venezuela Baseball
#AEW Collision
#Six Nations
#Newcastle United
#Arsenal vs Everton
#Trump and Epstein
Posts tagged #FormalMethods
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 […]
1
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
Call for Papers for #FM2026
FME's 27th International Symposium on Formal Methods, this year in Tokyo.
Papers due on 2nd of Dec 2025 (AoE) with special tracks on Tests & Proofs and Tutorials, plus Industry Day and the Doctoral Symposium.
www.fmeurope.org/2025/04/10/f...
#FormalMethods
1
0
0
0
This year, the Formal Methods Symposium will be in Tokyo, 20th to 22nd of May 2026.
FM2026 is interested in work that develops and applies #FormalMethods in a wide range of domains.
Abstracts: 25th Nov, 2025 (AoE)
Papers: 2nd Dec 2025 (AoE)
Details: conf.researchr.org/home/fm-2026
#FM2026
1
0
0
0
Meet the general chair of the 28th Brazilian Symposium on Formal Methods (promoted by the Brazilian Computer Society - @sbcoficial).
🌟Lucas Lima
📍Universidade Federal Rural de Pernambuco, Brazil
🔗https://trust.cin.ufpe.br/author/lucas-lima/
#FormalMethods #Recife #Brazil #BrazilianComputerSociety
0
0
1
0
The proceedings for the Seventh International Workshop on
Formal Methods for Autonomous Systems have been published through EPTCS, so if you want to read the papers from #FMAS2025 you can find them all at: dx.doi.org/10.4204/EPTC...
#FormalMethods #AutonomousSystems
#Autonomy
#AcademicSky
1
2
0
0