https://github.com/bor0/master-thesis

Formal verification of Instruction Sets in Virtual Machines
https://github.com/bor0/master-thesis

Last synced: 4 months ago
JSON representation

Formal verification of Instruction Sets in Virtual Machines

• Host: GitHub
• URL: https://github.com/bor0/master-thesis
• Owner: bor0
• License: other
• Created: 2020-09-28T16:17:58.000Z (over 5 years ago)
• Default Branch: master
• Last Pushed: 2022-01-18T21:20:54.000Z (over 4 years ago)
• Last Synced: 2025-05-16T05:38:32.106Z (about 1 year ago)
• Language: TeX
• Size: 699 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE.md

Awesome Lists containing this project

README

          
Formal verification of Instruction Sets in Virtual Machines

===========================================================

Welcome to the repository of my Master's thesis. Currently, the only supported language is Macedonian, but feel free to fork and translate it to other languages.

Installation setup:

1. Update brew and install pandoc: `brew update && brew install pandoc`

2. Install mactex from https://www.tug.org/mactex/

3. Run `./build.sh` to build the thesis

This thesis is dedicated to my wife Dijana, and our kids.

Boro Sitnikovski, 2019