WNetKAT: A Weighted SDN Programming and Verification Language.
Bingtian XueStefan SchmidKim G. LarsenPublished in: CoRR (2016)
Keyphrases
- programming language
- object oriented programming
- process algebra
- model checking
- programming environment
- concurrent systems
- oriented programming
- language learning
- natural language
- functional language
- computer programs
- scripting language
- object oriented
- logic programming
- formal specification
- specification language
- computer programming
- information retrieval
- concurrent programming
- programming concepts
- communication protocols
- java programming
- database
- formal verification
- signature verification
- programming course
- pattern languages
- target language
- face verification
- general purpose
- databases
- data sets