https://github.com/galoisinc/mmc-paper
Modular Model Checking Paper
https://github.com/galoisinc/mmc-paper
automatic-theorem-proving distributed-systems fault-tolerance high-assureance model-checking
Last synced: 5 months ago
JSON representation
Modular Model Checking Paper
- Host: GitHub
- URL: https://github.com/galoisinc/mmc-paper
- Owner: GaloisInc
- Created: 2016-12-08T00:34:19.000Z (over 9 years ago)
- Default Branch: master
- Last Pushed: 2017-05-17T04:53:27.000Z (about 9 years ago)
- Last Synced: 2025-07-01T04:37:17.520Z (about 1 year ago)
- Topics: automatic-theorem-proving, distributed-systems, fault-tolerance, high-assureance, model-checking
- Language: TeX
- Size: 2.24 MB
- Stars: 4
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Modular Model Checking of a Byzantine Fault-Tolerant Protocol
This repository contains the SAL models and paper source for the paper titled
"Modular Model Checking of a Byzantine Fault-Tolerant Protocol" by Benjamin F
Jones and Lee Pike .
The final version of the paper is located
[here](Modular_Model-Checking_of_a_Byzantine_Fault-Tolerant_Protocol.pdf).
The paper is to appear at
[NASA FM 2017](https://ti.arc.nasa.gov/events/nfm-2017/papers/).