Search this site
Embedded Files
Skip to main content
Skip to navigation
LL-Verifier
Home
Error Examples
EBNF Syntax Eefinition
Benchmark
Evaluations
Beyond IoT
Comparison with direct Maude generation
Comparison of different LLMs
Modeling Comparison
Source Code
Logical Encodings
Attack Traces
PoC Videos
Device Models
Vendor Response
LL-Verifier
Reasoning Logic Flaws through Autonomous Formal-Logic Modeling and Rigorous Reasoning: A General, Automatic Approach on IoT and Beyond
Supporting Materials
We provide a roadmap for quickly finding the corresponding materials referenced in the rebuttal response.
An
incorrect model
example in direct Maude
generation
Evaluate LL-Verifier beyond IoT
Les and FMG Implementation
Formal conversion rules
Quantitative evaluation of different LLMs
Les's EBNF specification
Google Sites
Report abuse
Page details
Page updated
Google Sites
Report abuse