Self-Validation and Graphical Reports
Compare bug detection, validate FM-Agent against itself, and browse reports with the new graphical interface.
Read more ->FM-Agent: A Validator That Improves Itself
What self-validation revealed about recursive tests, false positives, and the influence of different language models.
Read more ->FM-Agent vs. Claude Ultrareview: Bug Detection
On a 6,455-line Rust parser, FM-Agent found substantially more buggy functions than Claude Ultrareview across every tested model configuration.
Read more ->Plugins, Deep Bug Detection, and Cost Estimation
Customize the pipeline with plugins, find multiple bugs in a function, and estimate analysis cost before running.
Read more ->A More Reliable and Efficient Analysis Workflow
Customize bug reproduction, simplify environment setup, and use a dedicated CodeGraph repository maintained for FM-Agent.
Read more ->DevEco Studio, Verilog, Erlang, and Domain Knowledge
Release the DevEco Studio plugin, extend hardware specifications to Verilog, add Erlang support, and accept project-specific domain knowledge.
Read more ->FM-Agent for Chip Verification
FM-Agent now generates correctness specifications for Chisel hardware modules and connects with UCAgent for end-to-end automated chip verification.
Read more ->FM-Agent Introduces Incremental Reasoning
FM-Agent can now identify and verify code affected by newly added features or modified requirements, avoiding full-system re-reasoning after every change.
Read more ->What is FM-Agent
FM-Agent combines formal-methods reasoning with LLMs to automatically reason about the correctness of large-scale system code.
Read more ->