Overview
MenShen is a tool which can ensure the confidence of real time home automation IoT system automatically. It builds the formal model for the devices and connecting rules in the IoT system automatically. Then, MenShen can start to check whether the system can perform any unwanted behavior. Last but not least, if there is any violation detected, MenShen can help to fix the system automatically.
Download
You may download MenShen via the download page.
For running this tool,you need to
1. Install Mono for Linux.
2. Download and Install Redlog for Linux.
3. Configure the directory of Redlog in MenShen before checking.
You can also download samples for MenShen via the Case Studies page.