Using a process algebra interface for verification and validation of UML statecharts.
Saeed DoostaliSeyed Morteza BabamirMohammad JavaniPublished in: Comput. Stand. Interfaces (2023)
Keyphrases
- formal methods
- process algebra
- model checker
- model checking
- formal specification
- concurrent programs
- grid workflow
- concurrent systems
- knowledge based systems
- asynchronous circuits
- artificial intelligence
- class diagrams
- software engineering
- modeling language
- temporal logic
- real time
- natural language interface
- communication protocol
- multi agent systems