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 >

Categories

Follow StEAM

StEAM Web Site

Other Useful Business Software

C++Builder: 1 codebase, 1 UI designer, 4 platforms. Icon
C++Builder: 1 codebase, 1 UI designer, 4 platforms. Icon

The best visual IDE for creating fast performance native apps across platforms. Start today a 30-Day trial (no credit card needed).

Modern C++, standards-compliant with enhanced language extensions, beautiful native UI tools, and cross-compilation to Windows, macOS, iOS and Android. We provide the ‘full stack’ for native app development, from database to native and flexible UI to REST and more. If you want crossplatform C++ done right - choose the Complete App Platform for Multi-Device Native Development - Choose C++Builder.

Rate This Project

Login To Rate This Project

User Ratings

★★★★★
★★★★
★★★
★★
0
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5

User Reviews

Be the first to post a review of StEAM!

Additional Project Details

Registered

2005-11-30