Corrigendum to "Transformation-based model checking temporal trust in multi-agent systems" [Journal of Systems and Software Volume 192, October 2022, 111383].
Nagat DrawelAmine LaarejJamal BentaharMohamed El-MenshawyPublished in: J. Syst. Softw. (2024)
Keyphrases
- model checking
- formal methods
- automated verification
- temporal properties
- temporal logic
- multi agent systems
- reactive systems
- finite state machines
- formal verification
- temporal epistemic
- formal specification
- model checker
- trust model
- asynchronous circuits
- epistemic logic
- coalition logic
- artifact centric
- linear temporal logic
- bounded model checking
- computation tree logic
- software systems
- partial order reduction
- reachability analysis
- finite state
- software development
- symbolic model checking
- concurrent systems
- cl pc
- multi agent
- process algebra
- verification method
- knowledge based systems
- np complete
- artificial intelligence
- software architecture
- game theory
- software components