Software synthesis procedures.

Viktor Kuncak Mikaël Mayer Ruzica Piskac Philippe Suter

Published in: Commun. ACM (2012)

Keyphrases

software tools
software systems
software design
software development
computer software
real time
knowledge base
software packages
data sets
databases
control system
software architecture
software developers
analysis tool