Model Checking Process Algebra of Communicating Resources for Real-Time Systems.
Abdeldjalil BoudjadarJin Hyun KimKim G. LarsenUlrik NymanPublished in: ECRTS (2014)
Keyphrases
- model checking
- process algebra
- real time systems
- temporal logic
- formal specification
- concurrent systems
- distributed systems
- timed automata
- asynchronous circuits
- real time
- formal verification
- model checker
- embedded systems
- formal methods
- verification method
- reactive systems
- epistemic logic
- web services composition
- computation tree logic
- machine learning
- case study
- alternating time temporal logic