Hierarchical Contract-Based Synthesis for Assurance Cases.

Timothy E. Wang Zamira Daw Pierluigi Nuzzo Alessandro Pinto

Published in: NFM (2022)

Keyphrases

program synthesis
case base
real time
real world
computer vision
hierarchical structure
artificial intelligence
search algorithm
multiresolution
supply chain
unsupervised learning
test cases
coarse to fine
hierarchical classification