{Program code verification, e.g. Java bytecode verification, proof-carrying code }
Currently, there are no issues on this topic. Create one.