Synthesizing Approximate Implementations for Unrealizable Specifications.

Rayna Dimitrova Bernd Finkbeiner Hazem Torfah

Published in: CAV (1) (2019)

Keyphrases

search engine
formal specification
exact solution
data sets
information retrieval
data mining
genetic algorithm
image sequences
data structure
data model
efficient implementation
specification language
control flow
reactive systems
delay insensitive