Top Tweets for #ProgramVerification

6 months ago

Agentic proving for program verification. ~ Alessandro Sosso, Akhil Arora, Bas Spitters. https://t.co/0q9PuTDBPF #LeanProver #ProgramVerification

NSAD at SPLASH 2026 @NSAD_Workshop

8 months ago

NSAD will be back in 2026, co-located with SPLASH/ISSTA and SAS 🎉. Looking forward to seeing your work on abstract domains: https://t.co/U89NrIR9OW Stay tuned for more details! #NSAD #StaticAnalysis #AbstractInterpretation #ProgramVerification #SPLASH2026

141

Fakulta informačních technologií VUT @fit_vut

over 1 year ago

🧠 Seznamte se poslední květnový týden s trendy současného IT při obhajobách disertačních prací na FIT VUT 📅 26. 5. 2025 a 29. 5. 2025, místnost G108, FIT VUT 🔗 https://t.co/tElOLxO6Cd #FITVUT #AI #MachineLearning #ProgramVerification

fit_vut's tweet photo. 🧠 Seznamte se poslední květnový týden s trendy současného IT při obhajobách disertačních prací na FIT VUT
📅 26. 5. 2025 a 29. 5. 2025, místnost G108, FIT VUT
🔗 https://t.co/tElOLxO6Cd
#FITVUT #AI #MachineLearning #ProgramVerification https://t.co/n8xaIXLQE2

364

Iris Ma @iris_ma14

almost 3 years ago

The preprint @FSEconf is out ☀️ If you’re interested in #LLMs for #FormalMethod and #ProgramVerification, don’t miss it 😺 #FSE24 #Dafny

Rakib @MRHMisu

almost 3 years ago

LLM shows “great promise” in code synthesis. Can LLM keep "the promise" to ensure that its synthesis code is formally correct ? Check our @FSEconf 2024 paper. "Towards AI-Assisted Synthesis of Verified #Dafny Methods" 📃:https://t.co/1ewIjVpQW3 📦:https://t.co/Q3lS1rjEPP

Top Tweets for #ProgramVerification

Last Seen Hashtags on Sotwe

Trends for you

Most Popular Users