Bounded Model Checking of PLC ST Programs using Rewriting Modulo SMT.

Jaeseo Lee Sangki Kim Kyungmin Bae

Published in: FTSCS (2022)

Keyphrases

bounded model checking
model checking
formal verification
linear temporal logic
temporal logic
magic sets
control system
multi agent systems
computer programs
statistical machine translation
markov chain
conjunctive queries
logic programs
finite state
fixpoint
domain specific
knowledge base