2 stories tagged with #software-verification, in publish-time order across the WeSearch catalog. Tag pages update as new stories ingest.
⌘ RSS feed for this tag → or search "Software Verification"
RELATED TAGS
BASIS
Using LLM-Based Verification to Eliminate Bugs in Linux's Network Stack
We used LLMs to verify Linux's nftables `nft` CLI utility. Along the way, we found and patched bugs that had sat in the kernel for years.…
INNOQ
An introduction to TLA+ and its use in parties (2023)
TLA+ is a system for modeling all possible states of a system. On this model, you can then verify certain properties of this system. Smart people can use this to check that their t…