Formal Specification and Verification of Self-Adaptive Concurrent Systems.
Muhammad Ilyas FakhirSyed Asad Raza KazmiPublished in: IEEE Access (2018)
Keyphrases
- concurrent systems
- formal specification
- model checking
- process algebra
- specification languages
- specification language
- object oriented design
- transition systems
- formal methods
- temporal logic
- model checker
- reverse engineering
- data abstraction
- software components
- formal verification
- computation tree logic
- artificial intelligence
- business rules
- production system
- first order logic
- distributed systems
- expert systems