First Page | Document Content | |
---|---|---|
Date: 2014-10-08 18:37:53 | Verification of Annotated Models from Executions ABSTRACT Simulations can help enhance confidence in system designs but they provide almost no formal guarantees. In this paper, we present a simulation-based verificationAdd to Reading ListSource URL: publish.illinois.eduDownload Document from Source WebsiteFile Size: 407,04 KBShare Document on Facebook |