NuEditor - A Tool Suite for Specification and Verification of NuSCR.

Jaemyung Cho Junbeom Yoo Sung Deok Cha

Published in: SERA (2004)

Keyphrases

tool suite
reverse engineering
model checking
java programs
formal verification
formal specification
asynchronous circuits
unit testing