Login / Signup
Generating JML Specifications from Alloy Expressions.
Daniel Grunwald
Christoph Gladisch
Tianhai Liu
Mana Taghdiri
Shmuel S. Tyszberowicz
Published in:
Haifa Verification Conference (2014)
Keyphrases
</>
database
natural language
facial expressions
formal specification
mathematical expressions
machine learning
e learning
search algorithm
multi agent systems
functional requirements
generation process
asynchronous circuits
mechanical properties
delay insensitive