Specification memory

[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

specification
   sorts L;
         V;
         T;
   constants 
       O : V;
   
   functions 
       ∅ : L → V;
   
   variables 
       l : L;
       v : V;
       mem : L → V;
       tid : T;
   
   
   axioms 
      emptymem: ∅(l) = O;
      used for: s, ls;
   
   end specification