HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification.

Luis Garcia Stefan Mitsch André Platzer

Published in: CoRR (2019)

Keyphrases

programmable logic controller
hardware and software
symbolic execution
fuzzy control
hardware designs
low cost
petri net
model checking
face verification
query translation
programming environment
static analysis
machine translation
formal verification
program execution
database systems
evolutionary algorithm