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