✅ Model Checking - tiferrei

Less-relevant results

Introducing Soteria: A New Generation of Static Analysis for Rust

🔬Static Analysis Blog

soteria-tools.com··Hacker News

AWS can now mathematically prove your VMs are isolated

🛡️seL4

thenewstack.io·

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

🧠Automated Reasoning Code

github.com··Hacker News

Ask HN: What has been the fate of code review?

🔬Static Analysis Discussion

news.ycombinator.com··Hacker News

DB Nerds – Try this out

🧠Automated Reasoning

kesseldb.com··Hacker News

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

🌐NetworkProtocols Blog

aws.amazon.com··Hacker News

The Orchard Bug and the Unfolding Cybersecurity Reckoning

🔐Cybersecurity News Blog

bengoertzel.substack.com··Substack

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

💻CS Academic

arxiv.org·

Worried about Recursive Self-Improvement (RSI)? The answer might be CDE

⚙️Compiler Design

safebots.ai··Hacker News

Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism

🔍CBMC Academic

arxiv.org·

Where the f*ck is the Excalidraw markup table?

🔬Static Analysis News Blog

larkmatter.substack.com··Substack

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

🔒Protocol Verification

universetoday.com··Hacker News

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

🔤Language Design Code

github.com··Hacker News

Syntax-driven Incremental Program Verification of Matching Logic Properties

🔬Static Analysis Academic

arxiv.org·

Reinforcing Temporal Answer Grounding in Instructional Video via Candidate-Aware Causal Reasoning

🎮Verification Games Academic

arxiv.org·

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

🔍Formal Verification Academic

arxiv.org·

Chimera: Protocol-Aware Recovery for Confidential BFT Consensus

⎈Helm Academic

arxiv.org·

Formal verification of the S-two AIR

✓Automated Theorem Proving Academic

arxiv.org·

Subversion-Resistance for Free from Formal Verification

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

Introducing Soteria: A New Generation of Static Analysis for Rust

AWS can now mathematically prove your VMs are isolated

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

Ask HN: What has been the fate of code review?

DB Nerds – Try this out

Now available: Amazon EC2 M9g and M9gd instances powered by new AWS Graviton5 processors

The Orchard Bug and the Unfolding Cybersecurity Reckoning

Neuro-Symbolic Injection of LTLf Constraints in Autoregressive Reinforcement Learning Policies

Worried about Recursive Self-Improvement (RSI)? The answer might be CDE

Scaling Neural Network Verification with Tensor Parallelism and Fully Sharded Data Parallelism

Where the f*ck is the Excalidraw markup table?

SETI Panel Revises Recommendations for Dealing with 'Disclosure Day'

rochus-keller/EXPRESS: A parser and code model for the ISO 10303 EXPRESS language with a lot more interesting stuff to come

Syntax-driven Incremental Program Verification of Matching Logic Properties

Reinforcing Temporal Answer Grounding in Instructional Video via Candidate-Aware Causal Reasoning

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

Chimera: Protocol-Aware Recovery for Confidential BFT Consensus

Formal verification of the S-two AIR