Back to Results
First PageMeta Content



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 verification
Add to Reading List

Document Date: 2014-10-08 18:37:53


Open Document

File Size: 407,04 KB

Share Result on Facebook