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