view-hw

x86

Mechanized Proof for Article: "Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8" (PLDI 2021)

How to download and setup view-hw

Open terminal and run command

git clone https://github.com/kaist-cp/view-hw.git

git clone is used to create a copy or clone of view-hw repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with view-hw https://github.com/kaist-cp/view-hw/archive/master.zip

Or simply clone view-hw with SSH

[email protected]:kaist-cp/view-hw.git

If you have some problems with view-hw

You may open issue on view-hw support forum (system) here: https://github.com/kaist-cp/view-hw/issues

Similar to view-hw repositories

Here you may see view-hw alternatives and analogs

x64dbg reactos edb-debugger zydis RE-for-beginners mandibule v86 capstone plasma unicorn asmjit mcsema barf-project VisualMASM keystone SmallerC bap rappel reicast-emulator likwid steed keypatch x86-assembly-cheat reverse-engineering-reference-manual cross arm_now FlingOS mnist-android-tensorflow y86 The_Holy_Book_of_X86