Proofgold: Blockchain for Formal Methods.
Chad E. BrownCezary KaliszykThibault GauthierJosef UrbanPublished in: FMBC@CAV (2022)
Keyphrases
- formal methods
- formal analysis
- formal specification
- model checker
- safety critical
- knowledge based systems
- model checking
- process algebra
- artificial intelligence
- temporal properties
- software engineering
- provably correct
- modeling language
- building blocks
- databases
- development lifecycle
- description language
- temporal logic