- A CASE
tool to support formal requirement specification and verification of NuSCR
- Latest Release : NuSRS 2.0 [Download]
- NuSCR manual
- NuSRS manual
Install Guide :
1. To Execute NuSRS, Java SE SDK 5.0 or above is Required. [download]
To Verify your Model, you need SMV [download].
SMV is recommended to installed in C:/Program Files/SMV.
Install & Run
NuSRS's Zip File including NuSRS.jar and library Folder.
2. To Execute NuSRS,
1) java -jar NuSRS.jar in command line, or
2) Just click
Especially thanks to Jaemyung Cho (MS'04, Major, the Army), Seungjae Jeon
(MS'07, SAMSUNG DM) and Eunkyung Jee (Ph.D