#statstab #610 Philosophy and the practice of Bayesian statistics

Thoughts: Bayesian as a hypothetico-deductive approach to science.

#bayesian #philosophy #bayes #inference #probability #modelselection #modelchecking #assumptions

sites.stat.columbia.edu/gelman/resea...

Does anyone know about using e.g. modelchecking to implement typechecking? I've looked this up some time ago but back then I found like one paper and it wasn't exactly what I had in mind.

Maybe I should just play around and look if I can implement a small example and maybe see where it breaks down.

Introducing #Solibri #CheckPoint: Elevating BIM Quality Standards in the UK, Ireland, and the US! Launching late January 2025, this cloud-based model checker for Revit or IFC ensures exceptional BIM quality. Learn more: zurl.co/I0Nav
#QualityAssurance #ModelChecking

Craig’s interpolation theorem, proved in 1957, guarantees a middle formula using only shared symbols. It’s now key for model checking and software verification. Read more: https://getnews.me/understanding-craig-interpolation-in-first-order-logic/ #interpolation #modelchecking #softwareverification

Researchers merged black‑box learning with model checking to test security of cyber‑physical systems, validating on NFC and UDS protocols. Preprint submitted Sept 26 2025. https://getnews.me/automata-learning-and-model-checking-enhance-security-testing-of-cps/ #cpssecurity #modelchecking

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

Of course pyxmv would not exist without nuxmv, so shout out to FBK for developing this phenomenal tool. Plus, there's the amazing Python ecosystem, namely Poetry, Click, Typer, and pexpect. Kudos 🙌
#FormalMethods #ModelChecking #NuXmv #FormalVerification

Simplify model checking with Solibri CheckPoint! 🏗️
Webinar: 13 March 2025, 11:00 GMT
Learn to:
• Validate models faster
• Automate issue detection
• Improve model quality
Browser-based, no install needed!
Save your spot: zurl.co/NopT7
#Solibri #CheckPoint #ModelChecking #BIMInnovation

Say Hello to Smarter Rule Checking in #Solibri #Office! Solibri’s latest release introduces advanced component distance-checking, giving you greater control and precision. ✅

Save time and reduce errors: zurl.co/Jtih1

Share your thoughts! 💬

#BIM #ModelChecking

The value of model checking in distributed protocols design
L: https://protocols-made-fun.com/modelchecking/2025/04/08/value.html
C: https://news.ycombinator.com/item?id=44036117
posted on 2025.05.19 at 19:29:41 (c=0, p=3)

Our Towards a Verifiable Toolchain for Robotics publication won the Best Paper Award at the recent #AAAI Fall Symposium! 🏆

This paper highlights our project’s progress, methodology, and results so far: ojs.aaai.org/index.php/AA...

#Robotics #CONVINCE #Innovation #formalmethods #modelchecking

LLM-accelerated TLA+? A proposal from #MarkusKuppe to develop MCP integration for TLA+ tools…Let’s see if this will be implemented in the near future! 😎

github.com/tlaplus/founda…#TLAPlusu#MarkusKuppep#TemporalLogici#ModelCheckingn#LLML#FormalVerificationon

READ HN 📖 news about AI, LLM and NLP: The value of model checking in distributed protocols design https://protocols-made-fun.com/modelchecking/2025/04/08/value.html #technews #NLP #genAI