GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → tlaplus → vscode-tlaplus

tlaplus / vscode-tlaplus

Licence: MIT License
TLA+ language support for Visual Studio Code

Programming Languages

typescript
32286 projects
javascript
184084 projects - #8 most used programming language
CSS
56736 projects
HTML
75241 projects
TLA
29 projects
shell
77523 projects

Labels

verificationspecificationvscode-extensionmodel-checkingformal-methodstlcpluscal

Projects that are alternatives of or similar to vscode-tlaplus

Vscode Tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 152 (-28.64%)
Mutual labels:  verification, specification, vscode-extension, model-checking, formal-methods
klever
Read-only mirror of the Klever Git repository
Stars: ✭ 18 (-91.55%)
Mutual labels:  verification, specification, model-checking, formal-methods
Software Quality Wiki
Software Quality Wiki
Stars: ✭ 1,991 (+834.74%)
Mutual labels:  verification, model-checking, formal-methods
Tool lists
Links to tools by subject
Stars: ✭ 270 (+26.76%)
Mutual labels:  verification, model-checking, formal-methods
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (+30.05%)
Mutual labels:  verification, model-checking
Seahorn
SeaHorn Verification Framework
Stars: ✭ 270 (+26.76%)
Mutual labels:  verification, model-checking
Hacl Star
HACL*, a formally verified cryptographic library written in F*
Stars: ✭ 1,360 (+538.5%)
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 (+659.62%)
Mutual labels:  verification, model-checking
jayhorn
Static checker for Java
Stars: ✭ 54 (-74.65%)
Mutual labels:  verification, model-checking
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
Stars: ✭ 34 (-84.04%)
Mutual labels:  model-checking, formal-methods
tlacli
A script for running TLA+/TLC from the command line
Stars: ✭ 75 (-64.79%)
Mutual labels:  formal-methods, tlc
Blockingqueue
Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
Stars: ✭ 343 (+61.03%)
Mutual labels:  specification, model-checking
kani
Kani Rust Verifier
Stars: ✭ 229 (+7.51%)
Mutual labels:  verification, model-checking
Tulip Control
Temporal Logic Planning toolbox
Stars: ✭ 81 (-61.97%)
Mutual labels:  verification, specification
Cosa
CoreIR Symbolic Analyzer
Stars: ✭ 35 (-83.57%)
Mutual labels:  model-checking, formal-methods
Stainless
Verification framework and tool for higher-order Scala programs
Stars: ✭ 241 (+13.15%)
Mutual labels:  verification, formal-methods
cafeobj
Development of the CafeOBJ interpreter
Stars: ✭ 25 (-88.26%)
Mutual labels:  verification, specification
intrepid
Intrepyd Model Checker
Stars: ✭ 14 (-93.43%)
Mutual labels:  model-checking, formal-methods
mirage
A Mirage blue theme with pastel tones for Visual Studio Code
Stars: ✭ 39 (-81.69%)
Mutual labels:  vscode-extension
ILAng
A Modeling and Verification Platform for SoCs using ILAs
Stars: ✭ 52 (-75.59%)
Mutual labels:  verification
View All Similar Projects ➔

TLA+ for Visual Studio Code

Build Status Quality Gate VS Code extension version VS Code extension version nightly

This extension adds support for the TLA+ formal specification language to VS Code. It also supports running the TLC model checker on TLA+ specifications.

Features

  • TLA+ and PlusCal syntax highlighting and code snippets.
  • Running the PlusCal-to-TLA+ translator and module parser.
  • Running TLC model checker on TLA+ specifications.
  • Model checking process and result visualization.
  • Evaluating constant expressions.
  • Converting TLA+ specifications to LaTeX and PDF documents.
  • Code completion.
  • Code on-type formatting.
  • Powered by the official TLA+ tools.

Documentation

The project's Wiki provides information on how to install, configure and use the extension.

Contributing

All forms of contribution are highly welcome! Feel free to file bugs, propose improvements, ask questions, send other feedback.

If you decide to pitch in and write some code, this document will provide you with useful information: CONTRIBUTING.md.

TLA+ Resources

If you're not familiar with TLA+, but want to get a grasp on it, the following list of resources is a good starting point:

License

MIT

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].