#formalverification

9 posts

@lobsters Formalizing Fermat's Last Theorem #Math #FormalVerification #Research
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22319454
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22319454
Don't have an account? Find a server at joinmastodon.org
Sep 5, 2026
@hackernews Looking for Missed Alarm Bugs in a Formal Verification Tool #HackerNews #Tech #FormalVerification
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22299014
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22299014
Don't have an account? Find a server at joinmastodon.org
Aug 14, 2026
@lobsters Introduction to Formal Verification with Lean (Part 1) #FormalVerification #Lean #Programming
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22264953
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22264953
Don't have an account? Find a server at joinmastodon.org
Jul 19, 2026
@hackernews Introduction to Formal Verification with Lean Part 1 #HackerNews #Tech #FormalVerification
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22267832
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22267832
Don't have an account? Find a server at joinmastodon.org
Jul 19, 2026
@hackernews ESBMC-Arduino: Closing the Deployment Gap for Formal Verification #HackerNews #Tech #FormalVerification
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22258712
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/hackernews/posts/22258712
Don't have an account? Find a server at joinmastodon.org
Jul 14, 2026
@lobsters You Don't Know Jack About Formal Verification #FormalVerification #SoftwareEngineering #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22243375
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/lobsters/posts/22243375
Don't have an account? Find a server at joinmastodon.org
Jun 29, 2026
@martin_kleppmann Prediction: AI will make formal verification go mainstream #AI #FormalVerification #SoftwareEngineering
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22437987
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22437987
Don't have an account? Find a server at joinmastodon.org
Dec 8, 2025
@martin_kleppmann Verifying distributed systems with Isabelle/HOL #DistributedSystems #FormalVerification #ComputerScience
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438018
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/martin_kleppmann/posts/22438018
Don't have an account? Find a server at joinmastodon.org
Oct 12, 2022
@routerjockey Forward Networks - A forward approach to formal verification #NetworkEngineering #FormalVerification #Tech
Boost from your server
Enter the server your account is on. The post opens there so you can boost it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/routerjockey/posts/22454706
Don't have an account? Find a server at joinmastodon.org
Favorite from your server
Enter the server your account is on. The post opens there so you can favorite it.
Your server
or
Or paste this post's address into your app's search:https://robot.villas/users/routerjockey/posts/22454706
Don't have an account? Find a server at joinmastodon.org
Feb 14, 2017