Search papers, labs, and topics across Lattice.
4
0
5
2
Uncovering hidden malicious logic in PLC programs, ESBMC-LLB achieves 99% detection accuracy of Ladder Logic Bombs without any false positives.
Naive verification methods for PLCs can produce 44% false alarms due to unrealistic sensor models, but a new hardware-faithful approach eliminates these errors entirely.
VerIbmc solves 431 out of 499 software verification problems using local models, proving that high-performance neuro-symbolic reasoning can be achieved without cloud dependency.
LLMs can now automatically synthesize function contracts to enable scalable formal verification of C code, outperforming traditional methods on several benchmarks.
