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 → ligurio → Software Quality Wiki

ligurio / Software Quality Wiki

Licence: mit
Software Quality Wiki

Labels

testinglearningverificationebookscoursesmodel-checkingformal-methodsquality-assurancesoftware-testing

Projects that are alternatives of or similar to Software Quality Wiki

Vscode Tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 152 (-92.37%)
Mutual labels:  formal-methods, verification, model-checking
Tool lists
Links to tools by subject
Stars: ✭ 270 (-86.44%)
Mutual labels:  formal-methods, verification, model-checking
klever
Read-only mirror of the Klever Git repository
Stars: ✭ 18 (-99.1%)
Mutual labels:  verification, model-checking, formal-methods
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (-89.3%)
Mutual labels:  verification, model-checking, formal-methods
js-training
JS Training Course
Stars: ✭ 39 (-98.04%)
Mutual labels:  learning, courses
jayhorn
Static checker for Java
Stars: ✭ 54 (-97.29%)
Mutual labels:  verification, model-checking
Seahorn
SeaHorn Verification Framework
Stars: ✭ 270 (-86.44%)
Mutual labels:  verification, model-checking
Concuerror
Concuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277 (-86.09%)
Mutual labels:  verification, model-checking
Free Courses
A collection of free courses about programming 📖
Stars: ✭ 281 (-85.89%)
Mutual labels:  learning, courses
Courses
Awesome Courses
Stars: ✭ 663 (-66.7%)
Mutual labels:  learning, courses
React Chat
⚛️ Chat application for DogeCodes React course
Stars: ✭ 84 (-95.78%)
Mutual labels:  learning, courses
Hacl Star
HACL*, a formally verified cryptographic library written in F*
Stars: ✭ 1,360 (-31.69%)
Mutual labels:  formal-methods, verification
intrepid
Intrepyd Model Checker
Stars: ✭ 14 (-99.3%)
Mutual labels:  model-checking, formal-methods
kani
Kani Rust Verifier
Stars: ✭ 229 (-88.5%)
Mutual labels:  verification, model-checking
software-testing-resource-pack
Various files useful for manual testing and test automation etc.
Stars: ✭ 38 (-98.09%)
Mutual labels:  quality-assurance, software-testing
React Chat Api
📡 API for chat application for DogeCodes React course
Stars: ✭ 121 (-93.92%)
Mutual labels:  learning, courses
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
Stars: ✭ 34 (-98.29%)
Mutual labels:  model-checking, formal-methods
clearth
Test automation tool for Clearing, Settlement and Back-Office Systems
Stars: ✭ 26 (-98.69%)
Mutual labels:  quality-assurance, software-testing
Cosa
CoreIR Symbolic Analyzer
Stars: ✭ 35 (-98.24%)
Mutual labels:  formal-methods, model-checking
Tlaplus
TLC is an explicit state model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.
Stars: ✭ 1,618 (-18.73%)
Mutual labels:  verification, model-checking
View All Similar Projects ➔
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].