Minimal Assumptions Refinement for Realizable Specifications.

Davide G. Cavezza Dalal Alrajeh András György

Published in: FormaliSE@ICSE (2020)

Keyphrases

three dimensional
high level
simplifying assumptions
refinement process
social networks
data structure
expert systems
source code
formal specification
specification language
query refinement
step wise
written in natural language