Data-Driven Abductive Inference of Library Specifications.

Zhe Zhou Robert Dickerson Benjamin Delaware Suresh Jagannathan

Published in: CoRR (2021)

Keyphrases

data driven
abductive inference
data sets
model driven
high level
functional requirements
specification language
distributed network
web services
delay insensitive
neural network
information systems
data structure
finite state machines
formal specification
asynchronous circuits