Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV.

Viktor Shatrov Valeriy Vyatkin

Published in: INDIN (2021)

Keyphrases

dynamic aspects
model checking
real time
formal methods
genetic algorithm
computer vision
distributed systems
data sets
databases
machine learning
artificial intelligence
expert systems
management system
temporal logic
formal analysis
formal verification