etas / mbt-arranger Goto Github PK
View Code? Open in Web Editor NEWThis Eclipse feature provides an Eclipse Plugin that generates C++ testcases from compositions of model checker models and scenarios written in ARRANGE (*.arr). MBT Arranger can be used as an editor, syntax checker, debugger and model checker front-end.