extended nusmv online with Winfy

We have hosted the application extended nusmv in order to run this application in our online workstations with Wine or directly.


Quick description about extended nusmv:

An extend version of NuSMV, which supports symbolic model checking of ETL and APSL.

Audience: Science/Research.
User interface: Command-line.

Categories:
Electronic Design Automation (EDA), Security

©2024. Winfy. All Rights Reserved.

By OD Group OU – Registry code: 1609791 -VAT number: EE102345621.