StEAM

Brought to you by: bugfinder_unido, midzic, sjabbar, sulewski

Last Update: 2013-03-22

Get an email when there's a new version of StEAM

StEAM, (State Exploring Assembly Model Checker) is a model checker for native concurrent C++ programs. It extends a virtual machine - called ICVM - to perform model checking directly on the assembly level.

Project Activity

See All Activity >

Follow StEAM

StEAM Web Site

Other Useful Business Software

Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

Rate This Project

User Reviews

Be the first to post a review of StEAM!

Additional Project Details

Registered

2005-11-30

Report inappropriate content

Forever Free Full-Stack Observability | Grafana Cloud

Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.

Create free account

Recommended Projects

eXplode
eXplode is a storage system checker. It contains a generic model checker for real code instead of abstract models. Using this model checker, eXplode can systematically check a storage system against many possible crashes to find crash-recovery errors.
X-SPIN
It is a modified model checker based on SPIN to apply partial order reduction to check LTL formulae with X operator.
Assembly Language Debugger
The Assembly Language Debugger is a tool for debugging programs at the instruction level. It provides an alternative to gdb for assembly language programmers who want a tool which deals only with assembly code. ALD's features include breakpoints, memo
Steam Grabber
A multiplatform Steam screenshot mass-downloader
The virtual 8085
Virtual 8085 Simulator (Assembler and Virtual Machine)