A Formal Specification and Prototyping Language for Multi-core System Management.
Alexei IliasovAshur RafievFei XiaRem GenshAlexander B. RomanovskyAlexandre YakovlevPublished in: PDP (2015)
Keyphrases
- formal specification
- specification language
- process algebra
- model checking
- data abstraction
- specification languages
- object oriented design
- code generation
- reverse engineering
- concurrent systems
- formal specification language
- model checker
- programming language
- information systems
- formal methods
- knowledge management
- business rules
- development process
- natural language
- grid workflow
- decision making