Efficient Scalable Verification of LTL Specifications.
Luciano BaresiMohammad Mehdi Pourhashem KallehbastiMatteo RossiPublished in: ICSE (1) (2015)
Keyphrases
- bounded model checking
- model checking
- formal verification
- automated verification
- highly scalable
- model checker
- computationally efficient
- temporal logic
- multi agent systems
- highly efficient
- information retrieval
- linear temporal logic
- memory efficient
- face verification
- linear time temporal logic
- concurrent systems
- data sets
- computationally expensive
- cost effective
- data mining