Changes between Version 20 and Version 21 of Language


Ignore:
Timestamp:
05/19/23 10:03:59 (3 years ago)
Author:
siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Language

    v20 v21  
    524524The partial order reduction algorithm used by the CIVL Model Checker computes the set of memory locations that a process ''p'' can reach.
    525525This is an analysis performed at a state.
    526 The starting point of this analysis is the set of variables in the dynamic scopes referenced from ''p'''s call stack, and the ancestors of those dyscopes.
     526The starting point of this analysis is the set of variables in the dynamic scopes referenced from ''p'' 's call stack, and the ancestors of those dyscopes.
    527527There is an edge from one object to another if the first contains a pointer into the second.  All objects reachable from the initial objects in this directed
    528528graph are the reachable objects of ''p''.