Repository
https://github.com/ldv-klever/klever.git
Project Slug
klever
Last Built
2 months, 3 weeks ago failed
Maintainers
Home Page
https://forge.ispras.ru/projects/klever
Badge
Tags
c, formal-methods, formal-specification, formal-verification, model-checking, software-verification, specification, static-analysis, verification
Short URLs
klever.readthedocs.io
klever.rtfd.io
Default Version
latest
'latest' Version
master