In this thesis, we review recent developments in compositional and assume guarantee verification. We discuss whether each method supports circular/non circular reasoning and whether it can be used when proving safety/liveness properties. We formulate interface recognizers/suppli…
"1" Result
Sort By: