StEAM
Description
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.
StEAM Web SiteUser Reviews
Be the first to post a review of StEAM!