Leveraging Horn clause solving for compositional verification of PLC software.

Dimitri Bohlender Stefan Kowalewski

Published in: Discret. Event Dyn. Syst. (2020)

Keyphrases

horn clauses
software design
software systems
source code
software development
logic programs
control system
inference rules
software architecture
first order logic
formal verification
fuzzy control
model checking
open source
co occurrence
general purpose
decision trees
web pages
databases
database