Symbolic Model Checking extends the scope of verification algorithms that can be handled automatically, by using symbolic representations rather than explicitly searching the entire state space of the model. However even the most sophisticated symbolic methods cannot be directly applied to many of today's large designs because of the state explosion problem. Approximate symbolic model checking ...

bearing capacity prediction of axially loaded piles is one of the most important problems in geotechnical engineering practices, with a wide variety range of methods which have been introduced to forecast it accurately. machine learning methods have been reported by many contemporary researches with some degree of success in modeling geotechnical phenomena. in this study, a fairly new machine l...