GitHub - etas/MBT-ARRANGER: This 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.

This repository has been archived by the owner on Jul 17, 2023. It is now read-only.

etas / MBT-ARRANGER Public archive

Notifications You must be signed in to change notification settings
Fork 0
Star 1

This 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.