All Projects → ldv-klever → klever

ldv-klever / klever

Licence: Apache-2.0 license
Read-only mirror of the Klever Git repository

Programming Languages

python
139335 projects - #7 most used programming language
javascript
184084 projects - #8 most used programming language
c
50402 projects - #5 most used programming language
HTML
75241 projects

Projects that are alternatives of or similar to klever

Tool lists
Links to tools by subject
Stars: ✭ 270 (+1400%)
Mutual labels:  static-analysis, verification, model-checking, formal-methods
Vscode Tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 152 (+744.44%)
Mutual labels:  verification, specification, model-checking, formal-methods
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (+1083.33%)
Mutual labels:  verification, specification, model-checking, formal-methods
jayhorn
Static checker for Java
Stars: ✭ 54 (+200%)
Mutual labels:  static-analysis, verification, model-checking
Software Quality Wiki
Software Quality Wiki
Stars: ✭ 1,991 (+10961.11%)
Mutual labels:  verification, model-checking, formal-methods
Seahorn
SeaHorn Verification Framework
Stars: ✭ 270 (+1400%)
Mutual labels:  static-analysis, verification, model-checking
tutoriel wp
Frama-C and WP tutorial
Stars: ✭ 31 (+72.22%)
Mutual labels:  formal-methods, formal-verification, formal-specification
intrepid
Intrepyd Model Checker
Stars: ✭ 14 (-22.22%)
Mutual labels:  model-checking, formal-methods, formal-verification
sv-comp
Information to reproduce results from SV-COMP (MOVED, please follow the link)
Stars: ✭ 12 (-33.33%)
Mutual labels:  verification, software-verification
awesome-dv
Awesome ASIC design verification
Stars: ✭ 76 (+322.22%)
Mutual labels:  verification, formal-verification
Tulip Control
Temporal Logic Planning toolbox
Stars: ✭ 81 (+350%)
Mutual labels:  verification, specification
kani
Kani Rust Verifier
Stars: ✭ 229 (+1172.22%)
Mutual labels:  verification, model-checking
Blockingqueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Stars: ✭ 343 (+1805.56%)
Mutual labels:  specification, model-checking
Hacl Star
HACL*, a formally verified cryptographic library written in F*
Stars: ✭ 1,360 (+7455.56%)
Mutual labels:  verification, formal-methods
Tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Stars: ✭ 1,618 (+8888.89%)
Mutual labels:  verification, model-checking
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (+1438.89%)
Mutual labels:  verification, model-checking
cafeobj
Development of the CafeOBJ interpreter
Stars: ✭ 25 (+38.89%)
Mutual labels:  verification, specification
clam
Static Analyzer for LLVM bitcode based on Abstract Interpretation
Stars: ✭ 180 (+900%)
Mutual labels:  static-analysis, software-verification
Cosa
CoreIR Symbolic Analyzer
Stars: ✭ 35 (+94.44%)
Mutual labels:  model-checking, formal-methods
asl-interpreter
Example implementation of Arm's Architecture Specification Language (ASL)
Stars: ✭ 78 (+333.33%)
Mutual labels:  specification, formal-specification

Klever Documentation

The Klever documentation contains deployment instructions, tutorial, manuals for various use cases and some instructions for developers. You can find it online at http://klever.readthedocs.io or build it yourself.

To build the Klever documentation you need:

  • Install Python 3.4 or higher.

  • Install Sphinx and its Read the Docs theme, e.g.:

    pip3 install sphinx sphinx_rtd_theme
    

    or in a more reliable way:

    pip3 install -r docs/requirements.txt
    
  • Execute the following command from the source tree root directory (it should be executed each time when the documentation might be changed):

    make -C docs html
    

Then you can open generated documentation index "docs/_build/html/index.html" in a web browser.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].