Automated LLM-to-ESBMC requirements verification on Lockheed Martin benchmarks reaches a 46.5% verification rate, matching NASA's CoCoSim with fewer false positives.
Tr2mtl: Llm based frame- work for metric temporal logic formalization of traffic rules,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
background 1
citation-polarity summary
fields
cs.SE 1years
2025 1verdicts
CONDITIONAL 1roles
background 1polarities
background 1representative citing papers
citing papers explorer
-
Supporting Software Formal Verification with Large Language Models: An Experimental Study
Automated LLM-to-ESBMC requirements verification on Lockheed Martin benchmarks reaches a 46.5% verification rate, matching NASA's CoCoSim with fewer false positives.