Formally Proving Compositionality in Industrial Systems with Informal Specifications.
Mattias NybergJonas WestmanDilian GurovPublished in: ISoLA (3) (2020)
Keyphrases
- industrial systems
- industrial applications
- fault diagnosis
- computational intelligence
- complex systems
- intelligent systems
- delay insensitive
- specification language
- informal learning
- formal specification
- written in natural language
- functional requirements
- high level
- machine learning
- concurrent systems
- attribute grammars
- genetic algorithm
- information retrieval