* Ideas Here are a few ideas of tools, classes and projects that you could start. More are forthcoming. ** Runtime We need a verifier that can be run on an executable (assembly) and tells whether the metadata for the executable is correct or not. It should report any anomalies. For a list of anomalies in assemblies, check the various assertions that are described on the ECMA documentation. This will help test our generated executables and can be also used as an external verifier. ** Classes ** Projects