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.
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 ProjectLogin To Rate This Project
Be the first to post a review of StEAM!