NuSRS :

• A CASE tool to support formal requirement specification and verification of NuSCR specification
• Latest Release : NuSRS 2.0 [Download] (2008/03/14)

Documents :

• NuSCR manual
  • English [document] [presentation]
  • Korean [presentation]
  • Paper [JSS]
• NuSRS manual
  • English [document] [presentation]
  • Korean [document] [presentation]
  • Paper [SERA, presentation]
• SMV
  • Ken McMillan's Home Page

Install Guide :

• Prerequisites
  1. To Execute NuSRS, Java SE SDK 5.0 or above is Required. [download]
  2. To Verify your Model, you need SMV [download].  SMV is recommended to installed in C:/Program Files/SMV.
  　
• Install & Run
  1. Decompress 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 NuSRS.jar file.

Acknowledgement : Especially thanks to Jaemyung Cho (MS'04, Major, the Army), Seungjae Jeon (MS'07, SAMSUNG DM) and Eunkyung Jee (Ph.D Candidate)