Machine-check usability

Website

https://machine-check.org

Formal verification of software written in machine code

ProjectID

machine-check-UX

Acronym

machine-check-UX

Additional Info

Resources

Documentation

https://book.machine-check.org

Source code

https://github.com/onderjan/machine-check

Enduser Relevance

Not available yet

Contact

https://nlnet.nl/contact/

Endorsements

Not available yet

Disclaimer

Not available yet

Country: 

NGI Project:  NGI Zero Commons Fund

Status: Early research demo

Category: Operating systems, firmware and virtualisation

check other similar innovations

• 

  SEARXR

  Virtual reality for web search

• 

  BitOfTrust

  Bitoftrust project presents a different kind of Distributed trust architecture in which the starting point is not the privacy of...

• 

  Deep-Learning

  Sensifai delivers on-device, smart-enhance app that can help millions of people enhance their video/image archives while guaranteeing control over their...

• 

  VERITAS

  “Verified & Evidence-based Multilingual Information System” (VERITAS) addressed the growing challenge of misinformation by providing a multilingual information verification platform...