Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Testing Model Checking Open Source Projects

Open source projects categorized as Testing Model Checking
Categories > Software Quality > Model Checking
Concuerror ⭐ 323
Concuerror is a stateless model checking tool for Erlang programs.
total releases 2most recent commit 8 months ago
Aiger Safety Properties ⭐ 10
AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers
most recent commit 5 months ago
Hintikkasworld ⭐ 8
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
most recent commit 2 years ago
Lincheck ⭐ 5
A linearizability checker for concurrent data structures
most recent commit 9 months ago
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.