Model checking tools on the other hand consider all possible behaviors of a given system. One would need to perform further analysis to ascertain insights about the generated traces. They provide no understanding of what properties the trace conforms to or what characteristics they possess. Simulation traces however are just that, a faithful collection of system parameter values across time steps. Each simulation trace corresponds to one particular thread of system behavior, but this behavior is recorded in a very detailed fashion. Simulation engines provide detailed understanding of how a system behaves in a particular environmental conditions. Formal Verification of Simulation Traces Background:
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |