Applying Continuous Formal Methods to Cardano (Experience Report).

James Chapman Arnaud Bailly Polina Vinogradova

Published in: FUNARCH (2024)

Keyphrases

formal methods
formal specification
artificial intelligence
knowledge based systems
software engineering
safety critical
provably correct
model checking
formal analysis
model checker
reactive systems
temporal properties
development lifecycle
database
machine learning
modeling language