This repository was archived by the owner on Jun 17, 2020. It is now read-only.
This repository was archived by the owner on Jun 17, 2020. It is now read-only.
Create Reference Book: "Formal Verification for RhoLang" #945
Description
Collect in systematic way all academic information on topic "Formal Verification for RhoLang" in the format of a Reference Book.
Chapters
- Process Algebras/Calculus
- Process Logics
- Pi-Calculi with extensions
- Type Systems: Behavioral / Spatial
- Namespace Logic examples
- Formal Verifications: Algorithms and Tools
Benefit to RChain
- formal verification community development
- formal verification tech books library development
Budget and Objective
Estimated Budget of Task: $[depends on actually done work]
Estimated Timeline Required to Complete the Task: [3-6 month]
How will we measure completion? [versions of pdf committed to google docs]