Examples of the Application of Formal Methods to Interactive Systems.

Michael D. Harrison

Published in: FM Workshops (1) (2019)

Keyphrases

formal methods
interactive systems
formal analysis
safety critical
data mining
development lifecycle
machine learning
artificial intelligence
learning environment
xml documents
software engineering
building blocks
model checking
security properties