Resources
My Previous Collections
-
awesome-weird-machines-and-langsec:
A place to collect links and papers discussing “weird machines” and
techniques to mitigate them such as language-theoretic security and
formal verification of software.
-
rocket-surgery: A
discussion of next generation technologies, especially with regard to
software and formal methods.
Other Repos
-
awesome-provable:
A curated set of links to formal methods involving provable code.
-
awesome-formal-verification:
Welcome to the ultimate list of resources for formal verification
techniques and tools. This repository aims to provide an organized
collection of high-quality resources to help professionals, researchers,
and enthusiasts stay updated and advance their knowledge in the
field.
-
awesome-open-hardware-verification:
A List of Free and Open Source Hardware Verification Tools and
Frameworks
-
Microkernels (source): The
component-based operating systems
-
awesome-coq: A
curated list of awesome Coq libraries, plugins, tools, verification
projects, and resources
-
awesome-key:
A curated list of tools and tutorials for the KeY Theorem Prover
-
awesome-arend:
Resources for Arend Theorem Prover.
Conferences