Repository

https://github.com/ldv-klever/klever.git

Project Slug

klever

Last Built

5 months ago passed

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