Execution semantics and formalisms for multi-abstraction TLM assertions.

Wolfgang Ecker, Volkan Esen, Michael Hull

Browse the full MEMOCODE paper archive.