This repository contains work in-progress and results from exploring how LLMs and other ML techniques can be used to generate specifications that can be used to successfully verify code with Hoare-logic styled verifiers.
- Links to VeriFast benchmarks code compilation in google drive
- Links to other benchmarks code(so far) in google docs
- Categorization of the benchmarks
- Criteria for categorization
- VeriFast Tutorial
- VeriFast Github
- List of Research Papers on VeriFast
- Aggregation of VeriFast Papers in this Repo
- Building VeriFast from source code
To look into in future:
- Gillian
Outdated (useful as related work):
- SmallFoot
- Chalice
- JStar
- [TBD]
- https://mistral.ai/
- Good Models: Mistral Large, Mistral 8x7B, Codestral