Find, Use, and Conserve Tools for Formal Methods
summary
Central repository collects YAML metadata for 91 formal-methods tools (59 C verifiers from the last competition), records exact versions with Zenodo DOI archives, command-line defaults, required packages and Docker images, and publishes a browsable site at https://fm-tools.sosy-lab.org/ and GitLab at https://gitlab.com/sosy-lab/benchmarking/fm-tools. A client uses the metadata to download and run preserved environments (example command FMve run), offer a web-execution API, and support competitions and reproducible evaluations. FM-Tools aims for long-term findability and runnable artifacts.
AI-written summary · about
chapters (13)
- 0:00Tools for formal methods
- 2:14Conserving formal methods tools
- 3:18Finding verification tools
- 5:12Reusing formal methods tools
- 6:57Requirements for tool conservation
- 8:44YAML for tool docs
- 13:46Running and preserving tools
- 18:01Docker for FM tools
- 21:11Conclusion and knowledge base
- 25:00Q&A: Preserving tools
- 27:14Q&A: Evolving languages
- 30:50Q&A: Program transformations
- 31:52Q&A: Verification results
related talks
13mOpen source tools for faster, traceable and reliable development and verification
35mEnabling an Open-Source SoC Design Methodology with Federation Tools
24mContinuous VHDL inspection with opensource software
29mWriting Cloud Foundry Open Source Tools for Everyone...
42mHow To Make Formal Methods A Software Quality Solution That Can Actually Be Used In The Industry
40mDocs Tools for OSS Maintainers
45mOpen Source for Open Science with Frictionless Data
21mOpen Source Digital Design Tooling Updates