An efficient approach to state space management in model checking of complex software systems using machine learning techniques.
Mohammad YasrebiVahid RafeHamid ParvinSamad NejatianPublished in: J. Intell. Fuzzy Syst. (2020)
Keyphrases
- model checking
- state space
- reachability analysis
- temporal logic
- complex software systems
- formal specification
- model checker
- temporal properties
- formal verification
- finite state
- symbolic model checking
- automated verification
- software systems
- epistemic logic
- verification method
- markov decision processes
- knowledge management
- transition systems
- pspace complete
- information systems
- formal methods
- bounded model checking
- computation tree logic
- dynamical systems
- optimal policy
- deterministic finite automaton
- linear temporal logic
- web services
- timed automata
- concurrent systems
- satisfiability problem
- modal logic
- heuristic search
- software development
- software engineering
- dynamic programming
- reactive systems
- search space
- alternating time temporal logic