Login / Signup
Model-based synthesis of control software from system-level formal specifications.
Federico Mari
Igor Melatti
Ivano Salvo
Enrico Tronci
Published in:
ACM Trans. Softw. Eng. Methodol. (2014)
Keyphrases
</>
control software
formal specification
model checking
reverse engineering
object oriented design
real time
specification languages
web services
knowledge representation
temporal logic
specification language
concurrent systems
protocol specification