Safe Decomposition of Startup Requirements: Verification and Synthesis.

Alessandro Cimatti Luca Geatti Alberto Griggio Greg Kimberly Stefano Tonetta

Published in: TACAS (1) (2020)

Keyphrases

functional decomposition
data sets
application specific
neural network
decomposition method
model checking
real time systems
image decomposition
program synthesis
real time
data mining
artificial intelligence
multiscale
user requirements
decomposition algorithm
hierarchical decomposition
logic synthesis