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

AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.

Try it 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

Ship Agents Faster

Transform your applications and workflows into powerful agentic systems at global scale.

Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.

Get Started Free

Recommended Projects

JavaMC
This is a java based model checker that reduces the time required for model checking by distributed state-space exploration.
tlaplus
TLC is an explicit state model checker for specifications in TLA+
Steam Grabber
A multiplatform Steam screenshot mass-downloader
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
iSteam - Steam Tools
RuFuRaRu - Steam Tools