The value of model checking in distributed protocols design https://lobste.rs/s/aeslga ##distributed ##formalmethods
The value of model checking in distributed protocols design
Author: Igor Konnov
protocols-made-fun.com
May 19, 2025 at 10:20 PM
The value of model checking in distributed protocols design https://lobste.rs/s/aeslga ##distributed ##formalmethods
We are Formal Methods Europe, a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Formal methods focus on rigorous semantics engineering tools and notations.
Find out more here: https://buff.ly/4iCUUXd
#FormalMethods
Formal methods focus on rigorous semantics engineering tools and notations.
Find out more here: https://buff.ly/4iCUUXd
#FormalMethods
Formal Methods Europe
FME’s Teaching Committee has recently organised a special issue of Formal Aspects of Computing that puts forward different perspectives on why and how Formal Methods should be represented in Computer…
buff.ly
December 7, 2024 at 10:11 AM
We are Formal Methods Europe, a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Formal methods focus on rigorous semantics engineering tools and notations.
Find out more here: https://buff.ly/4iCUUXd
#FormalMethods
Formal methods focus on rigorous semantics engineering tools and notations.
Find out more here: https://buff.ly/4iCUUXd
#FormalMethods
We are the Formal Methods Europe association, and we encourage #FormalMethods research and application. We have memebers in academia and industry, and exchange knowledge of new research and industrial practice via symposia and conferences.
Find out more:
Find out more:
Formal Methods Europe
FME’s Teaching Committee has recently organised a special issue of Formal Aspects of Computing that puts forward different perspectives on why and how Formal Methods should be represented in Computer…
buff.ly
December 7, 2024 at 2:37 PM
We are the Formal Methods Europe association, and we encourage #FormalMethods research and application. We have memebers in academia and industry, and exchange knowledge of new research and industrial practice via symposia and conferences.
Find out more:
Find out more:
The Axolotl ask unto the people: any tips on participating on this platform of proper blue? Are hashtags still a thing? #infosec #graphtheory #formalmethods #fuzzing #bugbounty #computerscience
February 20, 2025 at 3:32 PM
The Axolotl ask unto the people: any tips on participating on this platform of proper blue? Are hashtags still a thing? #infosec #graphtheory #formalmethods #fuzzing #bugbounty #computerscience
Introducing GREASE: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code Comm...
https://www.galois.com/articles/introducing-grease
#security #reversing #release #formalmethods
Event Attributes
https://www.galois.com/articles/introducing-grease
#security #reversing #release #formalmethods
Event Attributes
Introducing GREASE: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code
www.galois.com
March 20, 2025 at 2:42 PM
Introducing GREASE: An Open-Source Tool for Uncovering Hidden Vulnerabilities in Binary Code Comm...
https://www.galois.com/articles/introducing-grease
#security #reversing #release #formalmethods
Event Attributes
https://www.galois.com/articles/introducing-grease
#security #reversing #release #formalmethods
Event Attributes
Readings shared October 28, 2025. jaalonso.github.io/vestigium/po... #AI #FormalMethods #FunctionalProgramming #Haskell #ITP #LeanProver #Logic #Math
Readings shared October 28, 2025
The readings shared in Bluesky on 28 October 2025 are:
Formalization of Walsh-Fourier series. ~ Izabela Maria Mandla. #ITP #LeanProver #Math
Towards a verified compiler for Distributed PlusCal. ~ Ghi
jaalonso.github.io
October 29, 2025 at 8:06 AM
Readings shared October 28, 2025. jaalonso.github.io/vestigium/po... #AI #FormalMethods #FunctionalProgramming #Haskell #ITP #LeanProver #Logic #Math
Stuff I learnt in 2024 https://lobste.rs/s/pjoydd ##formalmethods
Stuff I learnt in 2024
pixel-druid.com
December 28, 2024 at 7:30 PM
Stuff I learnt in 2024 https://lobste.rs/s/pjoydd ##formalmethods
The 16–17 September 2025 GandALF symposium in Valletta, Malta released its full proceedings (EPTCS vol 428). https://getnews.me/gandalf-2025-released-games-automata-logics-verification/ #gandalf2025 #formalmethods #malta
September 18, 2025 at 5:37 PM
The 16–17 September 2025 GandALF symposium in Valletta, Malta released its full proceedings (EPTCS vol 428). https://getnews.me/gandalf-2025-released-games-automata-logics-verification/ #gandalf2025 #formalmethods #malta
2025 TLA+ Community Event Notes https://lobste.rs/s/sbeld6 ##formalmethods
2025 TLA+ Community Event Notes
emptysqua.re
May 9, 2025 at 4:30 AM
2025 TLA+ Community Event Notes https://lobste.rs/s/sbeld6 ##formalmethods
Systems Correctness Practices at Amazon Web Services https://lobste.rs/s/giokgl ##testing ##formalmethods
Systems Correctness Practices at Amazon Web Services
cacm.acm.org
May 29, 2025 at 6:30 PM
Systems Correctness Practices at Amazon Web Services https://lobste.rs/s/giokgl ##testing ##formalmethods
New Life Hack: Using LLMs to Generate Constraint Solver Programs for Personal Logistics Tasks https://lobste.rs/s/wnrum7 ##formalmethods ##vibecoding
New Life Hack: Using LLMs to Generate Constraint Solver Programs for Personal Logistics Tasks
emschwartz.me
May 16, 2025 at 6:50 PM
New Life Hack: Using LLMs to Generate Constraint Solver Programs for Personal Logistics Tasks https://lobste.rs/s/wnrum7 ##formalmethods ##vibecoding
Proof Assistants At the Hardware-Software Interface (2020) https://lobste.rs/s/kzqk9g ##video ##hardware ##formalmethods
Proof Assistants At the Hardware-Software Interface
Presenter: Adam ChipalaPresented at CPP'20, located at POPL 2020.
www.youtube.com
March 18, 2025 at 10:50 AM
Proof Assistants At the Hardware-Software Interface (2020) https://lobste.rs/s/kzqk9g ##video ##hardware ##formalmethods
Reasoning about systems' state spaces https://lobste.rs/s/3nitm1 ##video ##practices ##formalmethods
What Isn't Your System Supposed to Do? by Hillel Wayne
Building correct distributed systems takes thinking outside the box, and the fastest way to do that is to think inside a different box. One different box is ...
youtu.be
August 7, 2025 at 3:00 AM
Reasoning about systems' state spaces https://lobste.rs/s/3nitm1 ##video ##practices ##formalmethods
Explanation of the Linux-Kernel Memory Consistency Model https:// lobste.rs/s/d1mgvn # formalmethods # hardware # osdev https:// raw.githubusercontent.com/torv alds/linux/refs/heads/master/tools/memory-model/Documentation/explanation.txt
Interest | Match | Feed
Interest | Match | Feed
Origin
mastodon.social
August 24, 2025 at 7:05 PM
Computer Says No: Error Reporting for LTL https://lobste.rs/s/liomcb ##formalmethods
Computer Says No: Error Reporting for LTL
wickstrom.tech
November 1, 2025 at 7:30 AM
Computer Says No: Error Reporting for LTL https://lobste.rs/s/liomcb ##formalmethods
"With mathematics, we can predict the behavior of systems before a single line of code is written." - Marc Brooker, VP/Distinguished Engineer at AWS
#TLAPlusConf #FormalMethods #OpenSource
#TLAPlusConf #FormalMethods #OpenSource
April 15, 2024 at 4:21 PM
"With mathematics, we can predict the behavior of systems before a single line of code is written." - Marc Brooker, VP/Distinguished Engineer at AWS
#TLAPlusConf #FormalMethods #OpenSource
#TLAPlusConf #FormalMethods #OpenSource
The role of formal methods in computer science education. ~ Maurice ter Beek, Manfred Broy, Brijesh Dongol. dl.acm.org/doi/pdf/10.1... #FormalMethods #CompSci #Education
November 14, 2024 at 10:15 AM
The role of formal methods in computer science education. ~ Maurice ter Beek, Manfred Broy, Brijesh Dongol. dl.acm.org/doi/pdf/10.1... #FormalMethods #CompSci #Education
Amazon Web Services #AWS uses #formalmethods in 7 teams to assure correctness in the #cloud http://t.co/ceCTbVN6Fb http://t.co/LuAfEKuWXP
November 23, 2024 at 9:28 AM
Amazon Web Services #AWS uses #formalmethods in 7 teams to assure correctness in the #cloud http://t.co/ceCTbVN6Fb http://t.co/LuAfEKuWXP
It seems 2023 is off to a good start! Our paper on "compositional verification of stigmergic collective systems" got accepted to #VMCAI2023. https://www.researchgate.net/publication/366809113_Compositional_Verification_of_Stigmergic_Collective_Systems
#FormalMethods #Verification #ModelChecking
#FormalMethods #Verification #ModelChecking
March 19, 2025 at 11:23 AM
It seems 2023 is off to a good start! Our paper on "compositional verification of stigmergic collective systems" got accepted to #VMCAI2023. https://www.researchgate.net/publication/366809113_Compositional_Verification_of_Stigmergic_Collective_Systems
#FormalMethods #Verification #ModelChecking
#FormalMethods #Verification #ModelChecking
Formal methods, like those in Ada/SPARK, push correctness further by allowing compile-time proofs of code properties. This rigorous approach can guarantee behavior for critical systems, reducing runtime issues. #FormalMethods 4/6
July 16, 2025 at 4:00 PM
Formal methods, like those in Ada/SPARK, push correctness further by allowing compile-time proofs of code properties. This rigorous approach can guarantee behavior for critical systems, reducing runtime issues. #FormalMethods 4/6
🚀 The 14th FormaliSE conference is coming to #ICSE2026!
A unique venue at the intersection of #FormalMethods & #SoftwareEngineering — from requirements to verification, safety, AI, and real-world applications.
🔗 Join the community: bit.ly/4nqwiCL
#FormaliSE2026
A unique venue at the intersection of #FormalMethods & #SoftwareEngineering — from requirements to verification, safety, AI, and real-world applications.
🔗 Join the community: bit.ly/4nqwiCL
#FormaliSE2026
September 30, 2025 at 2:43 PM
🚀 The 14th FormaliSE conference is coming to #ICSE2026!
A unique venue at the intersection of #FormalMethods & #SoftwareEngineering — from requirements to verification, safety, AI, and real-world applications.
🔗 Join the community: bit.ly/4nqwiCL
#FormaliSE2026
A unique venue at the intersection of #FormalMethods & #SoftwareEngineering — from requirements to verification, safety, AI, and real-world applications.
🔗 Join the community: bit.ly/4nqwiCL
#FormaliSE2026
Dezyne 2.18.0 released, introducing shared interface state, and more!
Dezyne is a language to specify, formally verify, simulate, and implement concurrent software. Sponsored by #VerumSoftware.
lists.gnu.org/archive/html...
#FormalMethods
#FSF
#Guile
Dezyne is a language to specify, formally verify, simulate, and implement concurrent software. Sponsored by #VerumSoftware.
lists.gnu.org/archive/html...
#FormalMethods
#FSF
#Guile
December 15, 2023 at 12:08 PM
Dezyne 2.18.0 released, introducing shared interface state, and more!
Dezyne is a language to specify, formally verify, simulate, and implement concurrent software. Sponsored by #VerumSoftware.
lists.gnu.org/archive/html...
#FormalMethods
#FSF
#Guile
Dezyne is a language to specify, formally verify, simulate, and implement concurrent software. Sponsored by #VerumSoftware.
lists.gnu.org/archive/html...
#FormalMethods
#FSF
#Guile
FMAS is back this year, hosted by #iFM25 in Paris.
If you're working with #FormalMethods applied to almost any kind of autonomous system then were probably interested in your work.
Deadline is 22nd Aug 2025 (AoE)
All the details are on our website: fmasworkshop.github.io/FMAS2025/
#FMAS2025
If you're working with #FormalMethods applied to almost any kind of autonomous system then were probably interested in your work.
Deadline is 22nd Aug 2025 (AoE)
All the details are on our website: fmasworkshop.github.io/FMAS2025/
#FMAS2025
July 8, 2025 at 10:26 AM
FMAS is back this year, hosted by #iFM25 in Paris.
If you're working with #FormalMethods applied to almost any kind of autonomous system then were probably interested in your work.
Deadline is 22nd Aug 2025 (AoE)
All the details are on our website: fmasworkshop.github.io/FMAS2025/
#FMAS2025
If you're working with #FormalMethods applied to almost any kind of autonomous system then were probably interested in your work.
Deadline is 22nd Aug 2025 (AoE)
All the details are on our website: fmasworkshop.github.io/FMAS2025/
#FMAS2025