Open Internet by MindsNet

Model Checking Tools

SPIN, NuSMV, and automated verification

Computing & Technology, Computer Science, Theoretical Computer Science