Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "symbolic-execution" keyword

crack 0.1.0 💰

verify distributed and lock-free algorithms through symbolic execution
1 version - Latest release: almost 7 years ago - 1.07 thousand downloads total - 27 stars on GitHub - 1 maintainer

monster-rs 0.4.1

Monster is a symbolic execution engine for 64-bit RISC-U code
5 versions - Latest release: almost 3 years ago - 1.78 thousand downloads total - 9 stars on GitHub - 1 maintainer

casmi

Corinthian Abstract State Machine (CASM) Interpreter
1 version - Latest release: 11 days ago - 431 downloads total - 1 stars on GitHub - 1 maintainer

Related Keywords

testing 1 consensus 1 distributed-systems 1 formal-methods 1 gossip 1 services 1 riscv 1 smt 1 riscu 1 monster 1 symbolic-execution-engine 1 application 1 casm 1 interpreter 1 numeric-execution 1