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

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Rate This Project

User Reviews

Be the first to post a review of StEAM!

Additional Project Details

Registered

2005-11-30

Report inappropriate content

$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.

Start Free

Recommended Projects

tlaplus
TLC is an explicit state model checker for specifications in TLA+
Steam Grabber
A multiplatform Steam screenshot mass-downloader
Modelchecking Agent Programming Language
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
Equals Checker
A static checker that model checks the implementation of equality for an Eclipse Java Project.
open-sTeam
open-sTeam is an open source environment for the creation and maintainance of virtual knowledge spaces, providing a wealth of mechanisms to support collaborative learning and working processes.