Synthesizing Specifications.

Kanghee Park Loris D'Antoni Thomas W. Reps

Published in: CoRR (2023)

Keyphrases

delay insensitive
real world
information retrieval
formal specification
genetic algorithm
decision making
high level
optimal solution
information technology
distributed systems
functional requirements
specification language
transition systems
written in natural language