Extension of a decomposition method for a global LTL specification.

Ioana Hustiu Marius Kloetzer Cristian Mahulea

Published in: ETFA (2023)

Keyphrases

decomposition method
linear temporal logic
linear time temporal logic
decomposition methods
tree decomposition
decomposition algorithm
temporal logic
high level
specification language
database
model checking
upper bound
control flow
shape decomposition
bounded model checking
qr decomposition