Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Esbmc

The efficient SMT-based context-bounded model checker (ESBMC)
Alternatives To Esbmc
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Esbmc221
3 months ago430otherC
The efficient SMT-based context-bounded model checker (ESBMC)
Cucumber Performance29
a year ago20April 28, 20231mitJava
A performance testing framework for cucumber
Alternatives To Esbmc
Select To Compare


Suggest An Alternative To esbmc
Alternative Project Comparisons
Esbmc vs Cucumber Performance
Popular Concurrent Projects
Akka ⭐ 12,864
Build highly concurrent, distributed, and resilient message-driven applications on the JVM
dependent packages 953total releases 90latest release October 15, 2020most recent commit 3 months ago
Sled ⭐ 7,522
the champagne of beta embedded databases
dependent packages 292total releases 100latest release September 11, 2023most recent commit 4 months agocargo sled} Downloads
Iron ⭐ 6,075
An Extensible, Concurrent Web Framework for Rust
dependent packages 179total releases 54latest release August 14, 2019most recent commit a year agocargo iron} Downloads
Popular Test Automation Projects
Cypress ⭐ 45,684
Fast, easy and reliable testing for anything that runs in a browser.
dependent packages 6,143total releases 224latest release December 05, 2023most recent commit 3 months agonpm cypress} Downloads
Appium ⭐ 17,471
Cross-platform automation framework for all kinds of your apps built on top of W3C WebDriver protocol
dependent packages 175total releases 412latest release December 04, 2023most recent commit 3 months agonpm appium} Downloads
Mockito ⭐ 14,406
Most popular Mocking framework for unit tests written in Java
dependent packages 14,505total releases 346latest release November 02, 2023most recent commit 3 months ago
Nightwatch ⭐ 11,519
Integrated end-to-end testing framework written in Node.js and using W3C Webdriver API. Developed at @browserstack
dependent packages 380total releases 335latest release December 07, 2023most recent commit 3 months agonpm nightwatch} Downloads
Detox ⭐ 10,921
Gray box end-to-end testing and automation framework for mobile apps
dependent packages 331total releases 572latest release December 07, 2023most recent commit a month agonpm detox} Downloads
Popular Control Flow Categories
Stream
Thread
Promise
Series
Webhook
Daemon
Parallel
Reactive
Rxjava
Cron
Related Searches
C Plus Plus Concurrent
C Concurrent
C Plus Plus Smt
C Smt
C Bounded Model Checking
Concurrent Smt

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
C Plus Plus
C
Kotlin
Concurrent
Test Automation
Smt
Solidity Contracts
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.