Automatic Modularization of Large Programs for Bounded Model Checking.

Marko Kleine Büning Carsten Sinz

Published in: ICFEM (2019)

Keyphrases

bounded model checking
model checking
formal verification
fully automatic
temporal logic
cooperative
software engineering
data driven
software design
linear temporal logic
neural network
multi agent
orders of magnitude
software systems
semi automatic