The Program Metadata provides the ability to attach metadata information to any program. The information is represented by a PDA account with a pre-defined derivation, e.g., it can be used to add the ...
Abstract: High-assurance software has become a key goal in modern software development, especially in the design of embedded kernel systems and other fields where high reliability and security are ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results