Modelling Programmable Logic Controllers in Refinement Calculus of Reactive Systems.

Viorel Preoteasa Timo Latvala Kimmo Varpaaniemi

Published in: CS&P (2019)

Keyphrases

programmable logic
reactive systems
transition systems
information flow
model checking
petri net
formal methods
temporal logic
field programmable gate array
control flow
real time systems
social networks
real time
pattern recognition