Runtime Verification of Compound Components with ComMA.

Ivan Kurtev Jozef Hooman

Published in: A Journey from Process Algebra via Timed Automata to Model Learning (2022)

Keyphrases

formal verification
hidden markov models
neural network
machine learning
software components
database
artificial intelligence
decision making
optimal solution
data structure
information technology
model checking