🔀 Concurrency Testing - DRMacIver · Scour

Can LLMs Write Correct TLA+ Specifications? Evaluating Natural-Language-to-TLA+ Generation

✅Formal Verification Academic

re:Invent 2022 Building Confidence Through Chaos Engineering on AWS

✅Formal Verification Blog

blog.domb.net·

bmc4j/bmc4j: Bounded model checking for JVM tests, powered by JBMC - prove your Java or Kotlin code correct for every input, as easily as writing a JUnit test

✅Formal Verification Code

github.com··Hacker News

DB Nerds – Try this out

✅Formal Verification

kesseldb.com··Hacker News

Practice like you play: How Amazon scales resilience to new heights (ARC316)

🎯Randomized Algorithms Blog

blog.domb.net·

Linearizability and State-Machine Replication: Is It a Match?

🔗Constraint Solving Academic

arxiv.org··Hacker News

Less-relevant results

0059: NYC and SF?

🤖Automated Testing

scattered-thoughts.net·

Latest technical articles & videos.

✅Formal Verification

certdepot.net·

TLA-Prover: Verifiable TLA+ Specification Synthesis via Preference-Optimized Low-Rank Adaptation

✅Formal Verification Academic

The Complexity of Asynchronous HyperLTL

✅Formal Verification Academic

sync with upstream · vinta/awesome-python@eb86241

🤖Automated Testing Code

Correct-by-Construction Design of Timed Systems in Event-B

✅Formal Verification Academic

VASO: Formally Verifiable Self-Evolving Skills for Physical AI Agents

✅Formal Verification Academic

Log in to enable infinite scrolling