McErlang: a model checker for a distributed functional programming language.
Lars-Åke FredlundHans SvenssonPublished in: ICFP (2007)
Keyphrases
- programming language
- model checker
- specification language
- functional language
- model checking
- object oriented
- programming environment
- general purpose
- formal verification
- object oriented programming
- strongly typed
- functional programming
- high level
- distributed systems
- formal methods
- temporal logic
- formal specification
- description language
- software engineering
- computer programs
- machine learning
- business processes
- set theory
- open source
- relational databases
- artificial intelligence
- database
- concurrent programming
- denotational semantics