An approach based on knowledge exploration for state space management in checking reachability of complex software systems
Sign Up to like & getrecommendations! Published in 2020 at "Soft Computing"
DOI: 10.1007/s00500-019-04334-3
Abstract: Model checking is one of the most efficient techniques in software system verification. However, state space explosion is a big challenge while using this technique to check different properties like safety ones. In this situation,… read more here.
Keywords: state; model; checking reachability; state space ... See more keywords