parapluu / Concuerror
Licence: bsd-2-clause
Concuerror is a stateless model checking tool for Erlang programs.
Stars: ✭ 277
Programming Languages
erlang
1774 projects
Projects that are alternatives of or similar to Concuerror
Tool lists
Links to tools by subject
Stars: ✭ 270 (-2.53%)
Mutual labels: verification, model-checking
vigor
Main repository of the Vigor NF verification project.
Stars: ✭ 40 (-85.56%)
Mutual labels: verification, automatic
klever
Read-only mirror of the Klever Git repository
Stars: ✭ 18 (-93.5%)
Mutual labels: verification, model-checking
3d Bat
3D Bounding Box Annotation Tool (3D-BAT) Point cloud and Image Labeling
Stars: ✭ 179 (-35.38%)
Mutual labels: automatic, tool
vscode-tlaplus
TLA+ language support for Visual Studio Code
Stars: ✭ 213 (-23.1%)
Mutual labels: verification, model-checking
KWVerificationCodeView
A customisable verification code view to capture OTPs
Stars: ✭ 83 (-70.04%)
Mutual labels: otp, verification
DPOTPView
Customisable OTP view and Passcode view
Stars: ✭ 52 (-81.23%)
Mutual labels: otp, verification
Lucid
A simple mock-application for programs that work with child processes
Stars: ✭ 45 (-83.75%)
Mutual labels: tool, debugging
Auto Cpufreq
Automatic CPU speed & power optimizer for Linux
Stars: ✭ 843 (+204.33%)
Mutual labels: automatic, tool
Flutter pinput
🔥🚀 Flutter package to create Pin code input text field with every pixel customization possibility 🎨 with beautiful animations
Stars: ✭ 157 (-43.32%)
Mutual labels: otp, verification
laravel-otp-login
Adds a customizable, translatable, configurable OTP verification step to Laravel Auth. You can add your own SMS provider too.
Stars: ✭ 16 (-94.22%)
Mutual labels: otp, verification
Mthawkeye
Profiling / Debugging assist tools for iOS. (Memory Leak, OOM, ANR, Hard Stalling, Network, OpenGL, Time Profile ...)
Stars: ✭ 1,119 (+303.97%)
Mutual labels: tool, debugging
Linux-Kernel-Driver-Programming
Implementation of PCI drivers, kprobe, sysfs, devfs, sensor driver, miscdevices, synchronization
Stars: ✭ 43 (-84.48%)
Mutual labels: debugging, concurrent-programming
Software Quality Wiki
Software Quality Wiki
Stars: ✭ 1,991 (+618.77%)
Mutual labels: verification, model-checking
Superdump
A service for automated crash-dump analysis
Stars: ✭ 384 (+38.63%)
Mutual labels: tool, debugging
elixir-fire-brigade-workshop
Workshop "Join the Elixir Fire Brigade - Level-up Your Elixir Debugging Skills" (ElixirConf US 2017)
Stars: ✭ 14 (-94.95%)
Mutual labels: debugging, otp
react-native-sms-user-consent
React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.
Stars: ✭ 45 (-83.75%)
Mutual labels: otp, verification
Concuerror
Concuerror is a stateless model checking tool for Erlang programs. It can be used to systematically test programs for concurrency errors, detect and report errors that only occur on few, specific schedulings or verify their absence.
Visit the website for documentation, examples, tutorials, publications, and many more!
Supported OTP Releases
How to build
- Compile :
make - Build documentation :
make edoc - Run the testsuites :
make tests tests-real tests-unit - Run Dialyzer :
make dialyzer - Run Elvis :
make lint - Check code coverage :
make cover - Cleanup :
make clean
The preferred way to start concuerror is via the bin/concuerror escript.
Is there bash_completion?
Is there a changelog?
How to prepare for a release?
Copyright and License
Copyright (c) 2014-2020, Stavros Aronis ([email protected]) and Kostis Sagonas ([email protected]). All rights reserved
Copyright (c) 2011-2013, Alkis Gotovos ([email protected]), Maria Christakis ([email protected]) and Kostis Sagonas ([email protected]). All rights reserved.
Concuerror is distributed under the Simplified BSD License. Details can be found in the LICENSE file.
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].