SV-COMP
PulseAugur coverage of SV-COMP — every cluster mentioning SV-COMP across labs, papers, and developer communities, ranked by signal.
1 day(s) with sentiment data
-
LLM Context Limits in Software Assurance Explored in New Research
A new research paper explores the effectiveness of large language models in software assurance, specifically when deterministic tools are already available. The study found that increasing the context provided to models…
-
New benchmark suite targets formal verification of industrial PLC programs
Researchers have developed a new benchmark suite for formally verifying IEC 61131-3 ladder diagram programs, addressing a lack of standard evaluation tools in the field. This suite includes 50 programs across ten indust…
-
LLMs show promise in program verification research · 2 sources tracked
Two new research papers explore the use of Large Language Models (LLMs) in program verification. The first paper investigates the robustness of LLMs' internal representations for judging code correctness, finding that s…