Software Model Checking Survey

May 30, 2016 | Author: sunil-shelke | Category: N/A


Description

correctness specification, model checking, software behaviour...

Comments

SUPPORT DOCURI