Verifying SimpleGT Transformations Using an Intermediate Verification Language.
Zheng ChengRosemary MonahanJames F. PowerPublished in: VOLT@STAF (2015)
Keyphrases
- model checking
- verification method
- model checker
- language learning
- programming language
- neural network
- case study
- data mining
- intermediate level
- english language
- temporal logic
- natural language
- context dependent
- language processing
- object oriented programming
- signature verification
- formal verification
- formal language
- information retrieval
- machine learning