Login / Signup
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