On Improvement of Formal Verification of Reconfigurable Real-Time Systems Using TCTL and CTL-Based Properties on IaaS Cloud Environment.
Chams Eddine ChouchaMohamed RamdaniMohamed KhalguiLaïd KahloulPublished in: ICSOFT (Selected Papers) (2020)
Keyphrases
- formal verification
- real time systems
- model checking
- bounded model checking
- temporal properties
- temporal logic
- symbolic model checking
- model checker
- automated verification
- real time
- computation tree logic
- formal specification
- timing constraints
- real time database systems
- mission critical
- distributed systems
- object oriented programming language
- embedded systems
- fuzzy logic
- formal methods
- epistemic logic
- low cost
- object oriented
- multi agent
- database systems