wiki:AssemblerFormalisation

The CPP 2011 MCS-51 assembler formalisation

To obtain the Matita formalisation of the CPP 2011 MCS-51 assembler, you will require two things:

  • The latest SVN version of Matita (note, the last Matita release will not suffice),
  • The files themselves.

The latest SVN version of Matita can be obtained by executing the following command in a shell, assuming a local installation of Subversion and SSH:

svn+ssh://cerco.cs.unibo.it/srv/svn/helm/trunk/matita

The latest development files can be obtained by clicking on the "latest.tar.bz2" attachment at the bottom of this page. The bulk of the development is found in the file "AssemblyProof.ma".

Last modified 6 years ago Last modified on Jun 27, 2011, 12:28:10 PM

Attachments (1)

Download all attachments as: .zip