CIVL: the concurrency intermediate verification language.
Stephen F. SiegelManchun ZhengZiqing LuoTimothy K. ZirkelAndre V. MarianielloJohn G. EdenhofnerMatthew B. DwyerMichael S. RogersPublished in: SC (2015)
Keyphrases
- programming language
- concurrent programming
- language learning
- model checking
- natural language
- object oriented languages
- database systems
- real time
- neural network
- artificial intelligence
- object oriented
- information retrieval
- machine learning
- modeling language
- formal methods
- computational linguistics
- specification language
- formal verification
- english language
- asynchronous circuits