Abstract Certification of Global Non-interference in Rewriting Logic.

Mauricio Alba-Castro María Alpuente Santiago Escobar

Published in: FMCO (2009)

Keyphrases

high level
modal logic
classical logic
predicate logic
propositional dynamic logic
data sets
special case
software engineering
global information
multi valued
proof theory