Formal Specification and Metaprogramming in the EXPRESS Language.
Yamine Aït AmeurFrederic BesnardPatrick GirardGuy PierraJean-Claude PotierPublished in: SEKE (1995)
Keyphrases
- formal specification
- specification language
- process algebra
- model checking
- data abstraction
- specification languages
- formal specification language
- object oriented design
- model checker
- formal methods
- reverse engineering
- asynchronous circuits
- programming language
- natural language
- protocol specification
- software components
- temporal logic
- business rules
- formal verification
- description language
- formal languages
- concurrent systems
- case study
- artificial intelligence
- computation tree logic
- machine learning